The following pages link to TRACER (Q21466):
Displaying 12 items.
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement (Q681335) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Infeasible Paths Elimination by Symbolic Execution Techniques (Q2829242) (← links)
- Specialization with Constrained Generalization for Software Model Checking (Q2848896) (← links)
- TRACER: A Symbolic Execution Tool for Verification (Q2903126) (← links)
- An iterative approach to precondition inference using constrained Horn clauses (Q4559813) (← links)
- Horn clauses as an intermediate representation for program analysis and transformation (Q4592995) (← links)
- Proving correctness of imperative programs by linearizing constrained Horn clauses (Q4593003) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- Software Model Checking by Program Specialization (Q5398085) (← links)
- Failure tabled constraint logic programming by interpolation (Q5398297) (← links)