KIT | KIT-Bibliothek | Impressum | Datenschutz

Bounded Program Verification Using an SMT Solver: A Case Study

Liu, Tianhai 1; Nagel, Michael 1; Taghdiri, Mana 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1109/ICST.2012.90
Scopus
Zitationen: 11
Dimensions
Zitationen: 9
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