Pages that link to "Item:Q5308429"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308429):
Displaying 8 items.
- State-set branching: leveraging BDDs for heuristic search (Q2389616) (← links)
- Maximizing over multiple pattern databases speeds up heuristic search (Q2457594) (← links)
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (Q3000659) (← links)
- The Causal Graph Revisited for Directed Model Checking (Q3392922) (← links)
- Formal Verification Based on Guided Random Walks (Q3605460) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- Transition-Based Directed Model Checking (Q3617760) (← links)
- Fast Directed Model Checking Via Russian Doll Abstraction (Q5458328) (← links)