A Case Study in Safety-Critical Design
Abstract elided by the publisher.
Related papers
- ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP 2021
- Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study CAV 1995
- Shield Synthesis: - Runtime Enforcement for Reactive Systems TACAS 2015
- Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study CAV 2023
- Monitizer: Automating Design and Evaluation of Neural Network Monitors CAV 2024
- VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems POPL 2025
- Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI CAV 2020
- Safe Environmental Envelopes of Discrete Systems CAV 2023