KIT | KIT-Bibliothek | Impressum | Datenschutz

Bounded Program Verification Using an SMT Solver: A Case Study

Liu, Tianhai; Nagel, Michael; Taghdiri, Mana



Originalveröffentlichung
DOI: 10.1109/ICST.2012.90
Scopus
Zitationen: 9
Dimensions
Zitationen: 7
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsmonat/-jahr 04.2012
Sprache Englisch
Identifikator ISBN: 978-1-4577-1906-6
KITopen-ID: 1000122693
Erschienen in 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, 17-21 April 2012, [proceedings ; including workshop papers]
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 101–110
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page