VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Paper i proceeding, 2018
verified executables
formal verification
hybrid systems
verified compilation
cyber-physical systems
Författare
Yong Kiam Tan
Carnegie Mellon University (CMU)
Brandon Bohrer
Carnegie Mellon University (CMU)
Stefan Mitsch
Carnegie Mellon University (CMU)
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
André Platzer
Carnegie Mellon University (CMU)
Philadelphia, USA,
Pålitlig mjukvara via programmering och kompilering i logik
Stiftelsen för Strategisk forskning (SSF) (FFL15-0191), 2017-01-01 -- 2021-12-31.
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Inbäddad systemteknik
Reglerteknik
Datorsystem
DOI
10.1145/3192366.3192406