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)
- An iterative approach to precondition inference using constrained Horn clauses
- TRACER: A Symbolic Execution Tool for Verification
- Software Model Checking by Program Specialization
- Infeasible Paths Elimination by Symbolic Execution Techniques
- Proving correctness of imperative programs by linearizing constrained Horn clauses
- A generic framework for symbolic execution: a coinductive approach
- Specialization with Constrained Generalization for Software Model Checking
- Executing and verifying higher-order functional-imperative programs in Maude
- 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
