KIT | KIT-Bibliothek | Impressum | Datenschutz

Automatic Modularization of Large Programs for Bounded Model Checking

Kleine Büning, Marko; Sinz, Carsten



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