KIT | KIT-Bibliothek | Impressum | Datenschutz

Refined Modularization for Bounded Model Checking Through Precondition Generation

Kleine Büning, Marko 1; Meuer, Johannes 2; Sinz, Carsten 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
2 Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2022
Sprache Englisch
Identifikator ISBN: 978-3-031-17244-1
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000153160
Erschienen in Formal Methods and Software Engineering – 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings. Ed.: A. Riesco
Veranstaltung 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spanien, 24.10.2022 – 27.10.2022
Verlag Springer International Publishing
Seiten 209–226
Serie Lecture Notes in Computer Science (LNCS) ; 13478
Vorab online veröffentlicht am 10.10.2022
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page