VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Paper in proceeding, 2018
verified executables
formal verification
hybrid systems
verified compilation
cyber-physical systems
Author
Yong Kiam Tan
Carnegie Mellon University (CMU)
Brandon Bohrer
Carnegie Mellon University (CMU)
Stefan Mitsch
Carnegie Mellon University (CMU)
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
André Platzer
Carnegie Mellon University (CMU)
Philadelphia, USA,
Pålitlig mjukvara via programmering och kompilering i logik
Swedish Foundation for Strategic Research (SSF) (FFL15-0191), 2017-01-01 -- 2021-12-31.
Areas of Advance
Information and Communication Technology
Subject Categories
Embedded Systems
Control Engineering
Computer Systems
DOI
10.1145/3192366.3192406