The following pages link to (Q4417922):
Displaying 5 items.
- An efficient approach for abstraction-refinement in model checking (Q690465) (← links)
- Underapproximation for model-checking based on universal circuits (Q963058) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- Interpolant Learning and Reuse in SAT-Based Model Checking (Q2864382) (← links)
