KIT | KIT-Bibliothek | Impressum | Datenschutz

Using DimSpec for Bounded and Unbounded Software Model Checking

Kleine Büning, Marco; Balyo, Tomáš; Sinz, Carsten



Originalveröffentlichung
DOI: 10.1007/978-3-030-32409-4_2
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2019
Sprache Englisch
Identifikator ISBN: 978-3-030-32408-7
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000104890
Erschienen in Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings. Ed.: Y. Ait-Ameur
Veranstaltung 21st International Conference on Formal Engineering Methods (ICFEM 2019), Shenzhen, China, 05.11.2019 – 09.11.2019
Verlag Springer, Cham
Seiten 19-35
Serie Lecture notes in computer science (LNCS) ; 11852
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page