KIT | KIT-Bibliothek | Impressum | Datenschutz

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking

Kleine Büning, Marko 1; Sinz, Carsten 1; Faragó, David
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-030-63618-0_2
Scopus
Zitationen: 3
Dimensions
Zitationen: 4
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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page