Transparent partial order reduction
From MaRDI portal
Publication:453518
Recommendations
- Partial order reduction for checking LTL formulae with the next-time operator
- A partial order approach to branching time logic model checking.
- scientific article; zbMATH DE number 1507206
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
- scientific article; zbMATH DE number 1497783
Cites work
- scientific article; zbMATH DE number 1973991 (Why is no real title available?)
- A stubborn attack on state explosion
- Combining partial-order reductions with on-the-fly model-checking.
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Question-guided stubborn set methods for state properties
- Relaxed visibility enhances partial order reduction
- Verification, Model Checking, and Abstract Interpretation
Cited in
(14)- Partial order reduction for state/event LTL with application to component-interaction automata
- Relaxed visibility enhances partial order reduction
- Partial-order reduction in symbolic state-space exploration
- An efficient partial order reduction algorithm with an alternative proviso implementation
- Peephole Partial Order Reduction
- Approximate partial order reduction
- Partial order reduction for checking LTL formulae with the next-time operator
- Formal verification of an executable LTL model checker with partial order reduction
- State space reduction for sensor networks using two-level partial order reduction
- Partial order reduction for rewriting semantics of programming languages
- Partial-order reduction for parity games with an application on parameterised Boolean equation systems
- scientific article; zbMATH DE number 1538051 (Why is no real title available?)
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
- State space reduction using partial order techniques
This page was built for publication: Transparent partial order reduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q453518)