Transparent partial order reduction

DOI10.1007/S10703-011-0126-0MaRDI QIDQ453518zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

model checkingformal verificationstate space explosion

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

Describes a project that uses

Uses Software

• MPI

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)