STARI: A Case Study in Compositional and Hierarchical Timing Verification
No abstract available.
Related papers
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Compositional Verification of Timed Automata via Violation Assumptions CAV 2026
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025
- Fine-grained Language Composition: A Case Study ECOOP 2016
- EVA: a Tool for the Compositional Verification of AUTOSAR Models TACAS 2023
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs PLDI 2015
- Safe composition of non-monotonic features GPCE 2009