The following pages link to (Q4738472):
Displaying 16 items.
- Finding and fixing faults (Q414907) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← 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)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- (Q4270073) (← links)
- A Study of Model-Order Reduction Techniques for Verification (Q5086232) (← links)
- Dynamic partial-order reduction for model checking software (Q5276139) (← links)
- Model Checking Software (Q5899045) (← links)
