Transparent partial order reduction
DOI10.1007/S10703-011-0126-0zbMATH Open1255.68097OpenAlexW2171778720MaRDI QIDQ453518FDOQ453518
Authors: Stephen F. Siegel 
Publication date: 27 September 2012
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-011-0126-0
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
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- A stubborn attack on state explosion
- Combining partial-order reductions with on-the-fly model-checking.
- Title not available (Why is that?)
- Verification, Model Checking, and Abstract Interpretation
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- Relaxed visibility enhances partial order reduction
- Question-guided stubborn set methods for state properties
Cited In (14)
- Formal verification of an executable LTL model checker with partial order reduction
- Partial order reduction for checking LTL formulae with the next-time operator
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
- Partial order reduction for state/event LTL with application to component-interaction automata
- Peephole Partial Order Reduction
- Partial-order reduction for parity games with an application on parameterised Boolean equation systems
- An efficient partial order reduction algorithm with an alternative proviso implementation
- Approximate partial order reduction
- State space reduction using partial order techniques
- Relaxed visibility enhances partial order reduction
- Partial order reduction for rewriting semantics of programming languages
- Partial-order reduction in symbolic state-space exploration
- State space reduction for sensor networks using two-level partial order reduction
- Title not available (Why is that?)
Uses Software
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)
