Verifying Timed Behavior Automata with Input/Output Critical Races
No abstract available.
DOI 10.1007/3-540-56922-7_35
Related papers
- Witnessing Secure Compilation VMCAI 2020
- Verifying Timed Behavior Automata with Nonbinary Delay Constraints CAV 1992
- Parameterized Verification of Quantum Circuits POPL 2026
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions OOPSLA 2024
- Shield Synthesis: - Runtime Enforcement for Reactive Systems TACAS 2015
- Nagini: A Static Verifier for Python CAV 2018
- Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs ESOP 2015