Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study
Abstract elided by the publisher.
Related papers
- Show Me The Money: An Exercise in Proof-Driven Software Understanding CAV 2026
- Path-Sensitive Abstract Interpretation for WCET Estimation PLDI 2026
- VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems POPL 2025
- Improved Geometric Path Enumeration for Verifying ReLU Neural Networks CAV 2020
- Hybrid Path-Sums for Hybrid Quantum Programs PLDI 2026
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study GPCE 2011
- A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module TACAS 2026
- Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI CAV 2020