TRACER
From MaRDI portal
Software:21466
swMATH9484MaRDI QIDQ21466FDOQ21466
Author name not available (Why is that?)
Source code repository: https://github.com/tracer-x/tracer
Cited In (12)
- TRACER: a symbolic execution tool for verification
- An iterative approach to precondition inference using constrained Horn clauses
- Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths
- 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
- Incremental and Modular Context-sensitive Analysis
- 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
