The following pages link to (Q4738472):
Displaying 10 items.
- Finding and fixing faults (Q414907) (← 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)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models (Q963372) (← links)
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing (Q2482366) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Directed Model Checking for B: An Evaluation and New Techniques (Q2999306) (← links)
- Producing Short Counterexamples Using “Crucial Events” (Q3512512) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
