Verifying Timed Behavior Automata with Nonbinary Delay Constraints
No abstract available.
Related papers
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Verifying Timed Behavior Automata with Input/Output Critical Races CAV 1993
- Minimal-Time Synthesis for Parametric Timed Automata TACAS 2019
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Compositional Verification of Timed Automata via Violation Assumptions CAV 2026
- Active Learning of Symbolic NetKAT Automata PLDI 2025
- Fast Algorithms for Handling Diagonal Constraints in Timed Automata CAV 2019
- Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism ESOP 1990