Directed explicit model checking with HSF-SPIN
From MaRDI portal
Recommendations
Cited in
(24)- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
- Automata-driven partial order reduction and guided search for LTL model checking
- On the order of test goals in specification-based testing
- Distributed breadth-first search LTL model checking
- Using heuristic search for finding deadlocks in concurrent systems
- More efficient on-the-fly LTL verification with Tarjan's algorithm
- The Causal Graph Revisited for Directed Model Checking
- Producing Short Counterexamples Using “Crucial Events”
- Directed Unfolding of Petri Nets
- Formal Verification Based on Guided Random Walks
- Transition-Based Directed Model Checking
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
- Formal verification of concurrent systems via directed model checking
- Model Checking Software
- Fast Directed Model Checking Via Russian Doll Abstraction
- Star-Topology Decoupling in SPIN
- Model Checking Software
- Extended beam search for non-exhaustive state space analysis
- A local search approach to protocol verification
- Abstract reduction in directed model checking CCS processes
- Translating Java for multiple model checkers: The Bandera back-end
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
- Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
This page was built for publication: Directed explicit model checking with HSF-SPIN
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530808)
