VeriPhy: verified controller executables from verified cyber-physical system models-Reference-Cited by-同舟云学术

VeriPhy: verified controller executables from verified cyber-physical system models

Published:2018-06-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Bohrer Brandon¹,Tan Yong Kiam¹,Mitsch Stefan¹,Myreen Magnus O.²,Platzer André¹

Affiliation:

1. Carnegie Mellon University, USA

2. Chalmers University of Technology, Sweden

Funder

Defense Advanced Research Projects Agency

NSF

AFOSR

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3192366.3192406

Reference46 articles.

1. Formally verified differential dynamic logic

2. A formally-verified C compiler supporting floatingpoint arithmetic. In ARITH, Alberto Nannarelli, Peter-Michael Seidel, and Ping Tak Peter Tang (Eds.);Boldo Sylvie;IEEE Computer Society,2013

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synchronous Programming with Refinement Types;Proceedings of the ACM on Programming Languages;2024-08-15

2. Foundational Integration Verification of a Cryptographic Server;Proceedings of the ACM on Programming Languages;2024-06-20

3. A General Framework for Verification and Control of Dynamical Models Via Certificate Synthesis;2024

4. Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System;Lecture Notes in Computer Science;2024

5. Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-11