VeriPhy: Verified controller executables from verified cyber-physical system models
Artikel i vetenskaplig tidskrift, 2018
verified executables
verified compilation
hybrid systems
formal verification
cyber-physical systems
Författare
Brandon Bohrer
Carnegie Mellon University (CMU)
Yong Kiam Tan
Carnegie Mellon University (CMU)
Stefan Mitsch
Carnegie Mellon University (CMU)
Magnus Myreen
Programvaruteknik, Grupp A
André Platzer
Carnegie Mellon University (CMU)
ACM SIGPLAN Notices
1523-2867 (ISSN)
Vol. 53 4 617-630Ämneskategorier
Inbäddad systemteknik
Reglerteknik
Datorsystem
DOI
10.1145/3192366.3192406