Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
Tasche, Philipp; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Dimitrova, Rayna ; Lahav, Ori; Wolff, Sebastian
Book title: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024 (Volume 14500)
Page range: 187-209
Publisher: Springer
Place of publication: London
Title of series: Lecture Notes in Computer Science
Status: Published
Release year: 2024
Conference: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom
Keywords: Formal Methods; Hardware/Software Co-Design; Deductive Verification
Authors from the University of Münster
| Blohm, Pauline Anne | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |
| Tasche, Philip Ben Heinrich | Institute of Computer Science |