Partial order reduction in directed model checking
From MaRDI portal
Recommendations
- Dynamic partial-order reduction for model checking software
- Formal verification of a partial-order reduction technique for model checking
- Partial order reduction for model checking of timed automata
- Combining partial-order reductions with on-the-fly model-checking.
- Partial-order reduction techniques for real-time model checking
- Optimising the ProB model checker for B using partial order reduction
- Formal verification of an executable LTL model checker with partial order reduction
Cited in
(32)- An efficient partial order reduction algorithm with an alternative proviso implementation
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing
- Using heuristic search for finding deadlocks in concurrent systems
- Distributed partial order reduction of state spaces
- Directed Model Checking for B: An Evaluation and New Techniques
- Producing Short Counterexamples Using “Crucial Events”
- Partial Order Reduction for State/Event LTL
- Survey on Directed Model Checking
- Exploring the scope for partial order reduction
- Using partial-order semantics to avoid the state explosion problem in asynchronous systems
- Finding and fixing faults
- Partial order reduction for model checking of timed automata
- Partial order reductions
- Local first search -- a new paradigm for partial order reductions
- Partial order reduction for deep bug finding in synchronous hardware
- A Study of Model-Order Reduction Techniques for Verification
- Formal verification of concurrent systems via directed model checking
- Dynamic partial-order reduction for model checking software
- Model Checking Software
- Correct Hardware Design and Verification Methods
- Model Checking Software
- Model Checking Software
- Partial-order reduction in symbolic state-space exploration
- Relaxed visibility enhances partial order reduction
- Partial-order reduction in the weak modal mu-calculus
- What's wrong with on-the-fly partial order reduction
- Optimising the ProB model checker for B using partial order reduction
- Translating Java for multiple model checkers: The Bandera back-end
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
- Question-guided stubborn set methods for state properties
- Combining partial-order reductions with on-the-fly model-checking.
- Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
This page was built for publication: Partial order reduction in directed model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738472)
