A system for object code validation

DOI10.1007/3-540-45352-0_14MaRDI QIDQ2766648zbMATH OpenFDO

Authors A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, K. Karunakar, Basant Rajan, R. K. Shyamasundar

Publication date 17 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45352-0_14

Mathematics Subject Classification ID

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

Recommendations

• The code validation tool (CVT). Automatic verification of a compilation process
• Automated Technology for Verification and Analysis
• Formal verification of synchronous data-flow program transformations toward certified compilers
• Deriving correctness properties of compiled code
• Formal verification of translation validators

Cited in

(4)

• Deriving correctness properties of compiled code
• The code validation tool (CVT). Automatic verification of a compilation process
• Refinement calculus: A basis for translation validation, debugging and certification
• Formal verification of synchronous data-flow program transformations toward certified compilers

Describes a project that uses

Uses Software

• STeP

This page was built for publication: A system for object code validation

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