KIT | KIT-Bibliothek | Impressum | Datenschutz

Using DimSpec for Bounded and Unbounded Software Model Checking

Kleine Büning, Marco; Balyo, Tomáš 1; Sinz, Carsten 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-030-32409-4_2
Dimensions
Zitationen: 3
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
Seiten 19-35
Serie Lecture notes in computer science (LNCS) ; 11852
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page