Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
From MaRDI portal
Publication:6649454
DOI10.1145/3531130.3533343MaRDI QIDQ6649454
Igor Walukiewicz, Frédéric Herbreteau, Rakesh Govind, B. Srivathsan
Publication date: 6 December 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Better abstractions for timed automata
- A stubborn attack on state explosion
- Stubborn set reduction for timed reachability and safety games
- Partial-order reduction techniques for real-time model checking
- Verification of distributed programs using representative interleaving sequences
- A theory of timed automata
- A partial approach to model checking
- Compact data structures and state-space reduction for model-checking real-time systems
- State space reduction using partial order techniques
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- A partial order semantics approach to the clock explosion problem of timed automata
- Better Abstractions for Timed Automata
- Exact Incremental Analysis of Timed Automata with an SMT-Solver
- Timed Unfoldings for Networks of Timed Automata
- Symbolic Unfoldings for Networks of Timed Automata
- Source Sets
- Dynamic partial-order reduction for model checking software
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification of Timed Automata via Satisfiability Checking
- Optimal dynamic partial order reduction
- Relaxed visibility enhances partial order reduction
- Start pruning when time gets urgent: partial order reduction for timed systems
- Urgent Partial Order Reduction for Extended Timed Automata
This page was built for publication: Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649454)
