Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
Teuber, Samuel
1; Lohar, Debasmita
; Beckert, Bernhard
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Lohar, Debasmita
; Beckert, Bernhard
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-85448-084-6 KITopen-ID: 1000187655 |
| Erschienen in | Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design - FMCAD 2025. Hrsg.: A. Irfarn |
| Veranstaltung | Conference on Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, CA, USA, 06.10.2025 – 10.10.2025 |
| Verlag | Technische Universität Wien (TU Wien) |
| Seiten | 13 S. |
| Schlagwörter | formal methods, computer-aided system design, hardware and system verification |
| Nachgewiesen in | OpenAlex |