VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models

Bohrer, B; Tan, YK; Mitsch, S; Myreen, MO; Platzer, A

Bohrer, B (reprint author), Carnegie Mellon Univ, Pittsburgh, PA 15213 USA.

ACM SIGPLAN NOTICES, 2018; 53 (4): 617

Abstract

We present VeriPhy, a verified pipeline which automatically transforms verified high-level models of safety-critical cyber-physical systems (CPSs) in ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索