Universität Münster
CRIS@UM
DE | EN

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC

Tasche, Philipp; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innen: Dimitrova, Rayna ; Lahav, Ori; Wolff, Sebastian
Buchtitel: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024 (Band 14500)
Seitenbereich: 187-209
Verlag: Springer
Erscheinungsort: London
Titel der Reihe: Lecture Notes in Computer Science
Status: Veröffentlicht
Veröffentlichungsjahr: 2024
Konferenz: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, Vereinigtes Königreich
DOI: 10.1007/978-3-031-50521-8_9
Stichwörter: Formal Methods; Hardware/Software Co-Design; Deductive Verification

Autor*innen der Universität Münster

Blohm, Pauline Anne
Professur für Praktische Informatik (Prof. Herber)
Herber, Paula
Professur für Praktische Informatik (Prof. Herber)
Tasche, Philipp
Institut für Informatik