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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Formal Methods in Computer-Aided Design (FMCAD)
Publisher	TU Wien Academic Press
Publication date	2025
ISBN (Electronic)	978-3-85448-084-6
Publication status	Published - 2025
Externally published	Yes
Event	Formal Methods in Computer-Aided Design conference - Menlo Park, United States Duration: 6 Oct 2025 → 10 Oct 2025 Conference number: 25 https://fmcad.org/FMCAD25/

Conference	Formal Methods in Computer-Aided Design conference
Number	25
Country/Territory	United States
City	Menlo Park
Period	06/10/2025 → 10/10/2025
Internet address	https://fmcad.org/FMCAD25/

Keywords

@inproceedings{ee6f343dfc984081b450144348bbcf7f,

title = "Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision",

keywords = "Formal methods, Computer-Aided Design, Hardware and system verification",

author = "Samuel Teuber and Debasmita Lohar and Bernhard Beckert",

year = "2025",

language = "English",

booktitle = "Formal Methods in Computer-Aided Design (FMCAD)",

publisher = "TU Wien Academic Press",

note = "Formal Methods in Computer-Aided Design conference, FMCAD ; Conference date: 06-10-2025 Through 10-10-2025",

url = "https://fmcad.org/FMCAD25/",

}

TY - GEN

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

AU - Teuber, Samuel

AU - Lohar, Debasmita

AU - Beckert, Bernhard

N1 - Conference code: 25

PY - 2025

Y1 - 2025

KW - Formal methods

KW - Computer-Aided Design

KW - Hardware and system verification

M3 - Article in proceedings

BT - Formal Methods in Computer-Aided Design (FMCAD)

PB - TU Wien Academic Press

T2 - Formal Methods in Computer-Aided Design conference

Y2 - 6 October 2025 through 10 October 2025

ER -