The following pages link to (Q2767073):
Displaying 6 items.
- (Q2723913) (← links)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- Extending Co-logic Programs for Branching-Time Model Checking (Q3453651) (← links)
- Model-Checking First-Order Logic: Automata and Locality (Q3608400) (← links)
- Analysis of Linear Hybrid Systems in CLP (Q3617430) (← links)
- Constraint-based deductive model checking (Q5953447) (← links)