Cited in
(23)- TRACER: a symbolic execution tool for verification
- An iterative approach to precondition inference using constrained Horn clauses
- Incremental and modular context-sensitive analysis
- Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths
- ECCE
- ARMC
- Dagger
- InvGen
- HSF
- SIMP
- PrologCheck
- SeaHorn
- VeriMAP
- RAHFT
- IncA
- Specialization with constrained generalization for software model checking
- Proving correctness of imperative programs by linearizing constrained Horn clauses
- A generic framework for symbolic execution: a coinductive approach
- Executing and verifying higher-order functional-imperative programs in Maude
- Software model checking by program specialization
- Failure tabled constraint logic programming by interpolation
- Horn clauses as an intermediate representation for program analysis and transformation
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
This page was built for software: TRACER
