TRACER
From MaRDI portal
Software:21466
No author found.
Source code repository: https://github.com/tracer-x/tracer
Related Items (12)
TRACER: A Symbolic Execution Tool for Verification ⋮ An iterative approach to precondition inference using constrained Horn clauses ⋮ Executing and verifying higher-order functional-imperative programs in Maude ⋮ Horn clauses as an intermediate representation for program analysis and transformation ⋮ Proving correctness of imperative programs by linearizing constrained Horn clauses ⋮ Failure tabled constraint logic programming by interpolation ⋮ A generic framework for symbolic execution: a coinductive approach ⋮ Horn clause verification with convex polyhedral abstraction and tree automata-based refinement ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Infeasible Paths Elimination by Symbolic Execution Techniques ⋮ Specialization with Constrained Generalization for Software Model Checking ⋮ Software Model Checking by Program Specialization
This page was built for software: TRACER
