VeriPhy: Verified controller executables from verified cyber-physical system models
Journal article, 2018
verified executables
verified compilation
hybrid systems
formal verification
cyber-physical systems
Author
Brandon Bohrer
Carnegie Mellon University (CMU)
Yong Kiam Tan
Carnegie Mellon University (CMU)
Stefan Mitsch
Carnegie Mellon University (CMU)
Magnus Myreen
Software Technology, Group A
André Platzer
Carnegie Mellon University (CMU)
ACM SIGPLAN Notices
1523-2867 (ISSN)
Vol. 53 4 617-630Subject Categories
Embedded Systems
Control Engineering
Computer Systems
DOI
10.1145/3192366.3192406