Representing object code

DOI10.1007/3-540-44957-4_36MaRDI QIDQ2767085zbMATH OpenFDO

Authors Marco Benini

Publication date 28 January 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-44957-4_36

Mathematics Subject Classification ID

Recommendations

• Automated proofs of object code for a widely used microprocessor
• scientific article; zbMATH DE number 1241721
• scientific article; zbMATH DE number 4178747
• Encoding object-Z in Isabelle/HOL
• Machine instruction syntax and semantics in higher order logic

Cited in

(1)

• Automated proofs of object code for a widely used microprocessor

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Representing object code

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