QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2020 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-63617-3 ISSN: 0302-9743 KITopen-ID: 1000128697 |
| Erschienen in | Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers. Ed.: M. Christakis |
| Veranstaltung | 12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2020), Online, 20.07.2020 – 21.07.2020 |
| Verlag | Springer-Verlag |
| Seiten | 21-32 |
| Serie | Lecture Notes in Computer Science (LNCS) ; 12549 |
| Bemerkung zur Veröffentlichung | Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt |
| Nachgewiesen in | OpenAlex Scopus Dimensions |
| Globale Ziele für nachhaltige Entwicklung |