TRACER: A Symbolic Execution Tool for Verification
From MaRDI portal
Publication:2903126
DOI10.1007/978-3-642-31424-7_61zbMath1478.68164OpenAlexW52244296MaRDI QIDQ2903126
Andrew E. Santosa, Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas
Publication date: 23 August 2012
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31424-7_61
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (7)
Executing and verifying higher-order functional-imperative programs in Maude ⋮ Transformation-Enabled Precondition Inference ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Proving correctness of imperative programs by linearizing constrained Horn clauses ⋮ A generic framework for symbolic execution: a coinductive approach ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Infeasible Paths Elimination by Symbolic Execution Techniques
Uses Software
This page was built for publication: TRACER: A Symbolic Execution Tool for Verification
