Meeting a Powertrain Verification Challenge
No abstract available.
Related papers
- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems CAV 2019
- Compiler verification meets cross-language linking via data abstraction OOPSLA 2014
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017
- Language Design Meets Verifying Compilers (Keynote) GPCE 2022
- The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk) CPP 2022
- Formal Methods meet Digital Twins: Challenges and Opportunities ESOP 2026
- Scalable verification of GNN-based job schedulers OOPSLA 2022
- Implicit invocation meets safe, implicit concurrency GPCE 2010