Distributed partial order reduction of state spaces
From MaRDI portal
Recommendations
- Partial-order reduction in symbolic state-space exploration
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Relaxed visibility enhances partial order reduction
- scientific article; zbMATH DE number 2087625
- scientific article; zbMATH DE number 1507206
Cited in
(18)- Distributed breadth-first search LTL model checking
- A geometric view of partial order reduction
- scientific article; zbMATH DE number 1973997 (Why is no real title available?)
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
- Automated Technology for Verification and Analysis
- Distributed verification of multi-threaded C++ programs
- Projecting transition systems: overcoming state explosion in concurrent system verification
- A distributed algorithm for strong bisimulation reduction of state spaces
- State space reduction using partial order techniques
- Relaxed visibility enhances partial order reduction
- scientific article; zbMATH DE number 1693431 (Why is no real title available?)
- Partial-order reduction in symbolic state-space exploration
- State space reduction for sensor networks using two-level partial order reduction
- Distributed branching bisimulation reduction of state spaces
- A probabilistic dynamic technique for the distributed generation of very large state spaces
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
- Partial order reduction for verification of spatial properties of pi-calculus processes
- A state space distribution policy based on abstract interpretation
This page was built for publication: Distributed partial order reduction of state spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848148)
