Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems
Tasche Philip; Herber Paula; Huisman Marieke
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Madeira, Alexandre; Knapp, Alexander
Book title: Software Engineering and Formal Methods
Page range: 404-422
Publishing company: Springer Nature
Place of publication: Cham
Status: Published
Release year: 2025
Language in which the publication is written: English
Conference: Software Engineering and Formal Methods, Aveiro, Portugal
ISBN: 978-3-031-77382-2
Keywords: Invariant Generation; Formal Verification; Embedded Systems
Authors from the University of Münster
| Herber, Paula | Professorship for practical comuter science |