Formal Design and Safety Analysis of AIR6110 Wheel Brake System
Abstract elided by the publisher.
Related papers
- Lazy Wheel Sieves and Spirals of Primes JFP 1997
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017
- Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI CAV 2020
- Relational Differential Dynamic Logic TACAS 2020
- ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP 2021
- Efficient SMT-Based Analysis of Failure Propagation CAV 2021
- Formal verification of a distributed dynamic reconfiguration protocol CPP 2022
- From Polyvariant Flow Information to Intersection and Union Types POPL 1998