University of 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

Research article in edited proceedings (conference) | Peer reviewed

Details about the publication

Publisher: 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
Publishing company: 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
DOI: 10.1007/978-3-031-50521-8_9
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, Philipp
Institute of Computer Science