The following pages link to (Q4736998):
Displaying 3 items.
- Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm (Q757074) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths (Q5458863) (← links)