Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

Reviewed Paper In Proceedings
Author(s):Samuel Teuber, Debasmita Lohar, and Bernhard Beckert
In:2025 Formal Methods in Computer-Aided Design (FMCAD)
Year:2025
DOI:10.48550/arXiv.2507.22760

BibTeX

@INPROCEEDINGS{TeuberAngelsAndDemons2025,
  author={Samuel Teuber and
            Debasmita Lohar and
            Bernhard Beckert},
  booktitle={2025 Formal Methods in Computer-Aided Design (FMCAD)}, 
  title={Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision}, 
  year={2025},
  doi={10.48550/arXiv.2507.22760}
}