Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X
Herber Paula, Adelt Julius, Liebrenz Timm
Research article in edited proceedings (conference)Details about the publication
Editors: Götz S, Linsbauer L, Schaefer I, Wortmann A
Book title: Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021
Page range: 1-4
Publisher: CEUR-WS
Title of series: CEUR Workshop Proceedings
Volume of series: 2814
Status: Published
Release year: 2021
Language in which the publication is written: English
Conference: Proceedings of the Software Engineering 2021 Satellite Events, Automotive Software Engineering (ASE) Workshop, Braunschweig/Virtual, Germany
Link to the full text: http://ceur-ws.org/Vol-2814/short-A3-2.pdf
Authors from the University of Münster
| Adelt, Julius Laurin | Institute of Computer Science |
| Herber, Paula | Professorship for practical comuter science |
| Liebrenz, Timm | Professorship for practical comuter science |