Pages that link to "Item:Q2903126"
From MaRDI portal
The following pages link to TRACER: A Symbolic Execution Tool for Verification (Q2903126):
Displayed 7 items.
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Infeasible Paths Elimination by Symbolic Execution Techniques (Q2829242) (← links)
- Proving correctness of imperative programs by linearizing constrained Horn clauses (Q4593003) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- Transformation-Enabled Precondition Inference (Q6063861) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)