Bounded Program Verification Using an SMT Solver: A Case Study.

Tianhai Liu, Michael Nagel, Mana Taghdiri

Browse the full ICST paper archive.