Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems
Tasche Philip; Herber Paula; Huisman Marieke
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Madeira, Alexandre; Knapp, Alexander
Buchtitel: Software Engineering and Formal Methods
Seitenbereich: 404-422
Verlag: Springer Nature
Erscheinungsort: Cham
Status: Veröffentlicht
Veröffentlichungsjahr: 2025
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: Software Engineering and Formal Methods, Aveiro, Portugal
ISBN: 978-3-031-77382-2
Stichwörter: Invariant Generation; Formal Verification; Embedded Systems
Autor*innen der Universität Münster
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |