Bounded Program Verification Using an SMT Solver: A Case Study
| 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 |