Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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)},
  place     = {Montreal, QC, Canada},
  date      = {April 17-21},
  pages     = {101--110},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  doi       = {10.1109/ICST.2012.90}
}