Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Bounded Program Verification Using an SMT Solver: A Case Study

Reviewed Paper In Proceedings
Author(s):Tianhai Liu, Michael Nagel, and Mana Taghdiri
In:Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST 2012)
Publisher:IEEE Computer Society
Year:2012
Pages:101-110
DOI:10.1109/ICST.2012.90

BibTeX

@inproceedings{f/icst/LiuNT12,
  author    = {Tianhai Liu and
               Michael Nagel and
               Mana Taghdiri},
  editor    = {Giuliano Antoniol and
               Antonia Bertolino and
               Yvan Labiche},
  title     = {Bounded Program Verification Using an {SMT} Solver: {A} Case Study},
  booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
               and Validation ({ICST} 2012)},
  venue     = {Montreal, QC, Canada},
  eventdate = {2012-04-17/2012-04-21},
  pages     = {101--110},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  doi       = {10.1109/ICST.2012.90}
}