University of Münster
CRIS@UM
DE | EN

Philip Ben Heinrich Tasche

Current affiliations

  • Professorship for practical comuter science

Publications

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
Tasche, Philipp; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke (2024)
In: Dimitrova, Rayna ; Lahav, Ori; Wolff, Sebastian (eds.), Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024. London: Springer.
Research article in edited proceedings (conference)