The following pages link to (Q4530808):
Displaying 21 items.
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035) (← links)
- Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
- Abstract reduction in directed model checking CCS processes (Q715051) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models (Q963372) (← links)
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols (Q968361) (← links)
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties (Q1951607) (← links)
- Automata-driven partial order reduction and guided search for LTL model checking (Q2152647) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Distributed breadth-first search LTL model checking (Q2431772) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- More efficient on-the-fly LTL verification with Tarjan's algorithm (Q2575734) (← links)
- The Causal Graph Revisited for Directed Model Checking (Q3392922) (← links)
- Producing Short Counterexamples Using “Crucial Events” (Q3512512) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- Formal Verification Based on Guided Random Walks (Q3605460) (← links)
- Transition-Based Directed Model Checking (Q3617760) (← links)
- Formal Verification of Concurrent Systems via Directed Model Checking (Q5178996) (← links)
- Fast Directed Model Checking Via Russian Doll Abstraction (Q5458328) (← links)
- Star-Topology Decoupling in SPIN (Q5883577) (← links)
