The following pages link to (Q2723916):
Displaying 13 items.
- Infinite-state invariant checking with IC3 and predicate abstraction (Q2363814) (← links)
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
- Verifying of interface assertions for infinite state Mealy machines (Q2453549) (← links)
- Incompleteness of states w.r.t. traces in model checking (Q2492186) (← 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)
- Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations (Q4633542) (← links)
- (Q5020651) (← links)
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis (Q5108517) (← links)
- Constraint-based deductive model checking (Q5953447) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)