TRACER: a symbolic execution tool for verification

DOI10.1007/978-3-642-31424-7_61MaRDI QIDQ2903126zbMATH OpenOpenAlexFDO

Authors Joxan Jaffar, Vijayaraghavan Murali, Jorge Navas, Andrew E. Santosa

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths
• scientific article; zbMATH DE number 1982210
• Featherweight VeriFast
• scientific article; zbMATH DE number 4024753
• The trace modality

Cited in

(14)

• Backward symbolic execution with loop folding
• Executing and verifying higher-order functional-imperative programs in Maude
• Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths
• Error-tracing axiomatic semantics for C-kernel
• scientific article; zbMATH DE number 4219133 (Why is no real title available?)
• Proving correctness of imperative programs by linearizing constrained Horn clauses
• Incremental and modular context-sensitive analysis
• A generic framework for symbolic execution: a coinductive approach
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Transformation-Enabled Precondition Inference
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Using Relational Verification for Program Slicing
• The trace modality

Describes a project that uses

Uses Software

• BLAST
• KRATOS
• Interproc
• TRACER
• YOGI

This page was built for publication: TRACER: a symbolic execution tool for verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2903126)