The code validation tool (CVT). Automatic verification of a compilation process

DOI10.1007/s100090050027zbMath1022.68733OpenAlexW1575176197MaRDI QIDQ1865858

Amir Pnueli, O. Shtrichman, Michael Siegel

Publication date: 15 July 2003

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090050027

zbMATH Keywords

translation validationcompiler verificationcode validation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Related Items (8)

Verification of SpecC using predicate abstraction ⋮ A self-certifying compilation framework for WebAssembly ⋮ A Case Study in Abstract Interpretation Based Program Transformation ⋮ A formal approach for the construction and verification of railway control systems ⋮ Building small equality graphs for deciding equality logic with uninterpreted functions ⋮ Securing a compiler transformation ⋮ The small model property: How small can it be? ⋮ Translation and run-time validation of loop transformations

Uses Software

• CVT

This page was built for publication: The code validation tool (CVT). Automatic verification of a compilation process