The following pages link to (Q2723916):
Displaying 6 items.
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- Extending Co-logic Programs for Branching-Time Model Checking (Q3453651) (← links)
- Analysis of Linear Hybrid Systems in CLP (Q3617430) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
