scientific article; zbMATH DE number 1361136
From MaRDI portal
Publication:4270073
Recommendations
- Partial-order reduction techniques for real-time model checking
- scientific article; zbMATH DE number 2087625
- scientific article; zbMATH DE number 1361125
- Urgent Partial Order Reduction for Extended Timed Automata
- Partial order reduction for checking soundness of time workflow nets
- Formal verification of a partial-order reduction technique for model checking
- Partial order reduction for checking LTL formulae with the next-time operator
- Partial order path technique for checking parallel timed automata
- Automata-driven partial order reduction and guided search for LTL model checking
- SAT based bounded model checking with partial order semantics for timed automata
Cited in
(30)- Partial-order reduction techniques for real-time model checking
- Decidable verification for reducible timed automata specified in a first order logic with time
- Delay-dependent partial order reduction technique for real time systems
- Product interval automata
- A partial order approach to branching time logic model checking.
- A partial order semantics approach to the clock explosion problem of timed automata
- Modular synthesis of timed circuits using partial orders on LPNs
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- Statistical Model Checking for Networks of Priced Timed Automata
- Model Checking Real-Time Systems
- Partial Order Reduction for Verification of Real-Time Components
- Timed Unfoldings for Networks of Timed Automata
- Partial Order Reduction for State/Event LTL
- scientific article; zbMATH DE number 2087625 (Why is no real title available?)
- Structural transformations for data-enriched real-time systems
- Partial order reduction for checking soundness of time workflow nets
- Dynamic partial-order reduction for model checking software
- Tools and Algorithms for the Construction and Analysis of Systems
- Partial order path technique for checking parallel timed automata
- Automated Technology for Verification and Analysis
- Automated Technology for Verification and Analysis
- Delay-Dependent Partial Order Reduction Technique for Time Petri Nets
- Revisiting local time semantics for networks of timed automata
- Start pruning when time gets urgent: partial order reduction for timed systems
- Urgent Partial Order Reduction for Extended Timed Automata
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
- Partial order reductions for timed systems
- Optimising the ProB model checker for B using partial order reduction
- Stubborn set reduction for timed reachability and safety games
- Automatic generation of path conditions for concurrent timed systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4270073)
