swMATH9484MaRDI QIDQ21466FDOQ21466
Author name not available (Why is that?)
Official website: https://github.com/tracer-x/tracer
Source code repository: https://github.com/tracer-x/tracer
Cited In (22)
- 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
- ARMC
- Dagger
- Specialization with constrained generalization for software model checking
- InvGen
- HSF
- SIMP
- PrologCheck
- SeaHorn
- VeriMAP
- RAHFT
- IncA
- 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
