Automated Technology for Verification and Analysis

DOI10.1007/B102065MaRDI QIDQ5394193zbMATH OpenOpenAlexFDO

Authors I. V. Gordin, R. Leviathan, Amir Pnueli

Publication date 25 October 2006

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

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Computer Aided Verification
• Formal verification of translation validators
• Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli
• Formal verification of synchronous data-flow program transformations toward certified compilers
• Translation and run-time validation of loop transformations

Cited in

(13)

• The code validation tool (CVT). Automatic verification of a compilation process
• Automatic validation of code-improving transformations on low-level program representations
• Translation validation of coloured Petri net models of programs on integers
• Translating Xd-C programs to MSVL programs
• Formal verification of synchronous data-flow program transformations toward certified compilers
• scientific article; zbMATH DE number 1696505 (Why is no real title available?)
• Formal verification of translation validators
• Certificate Translation for Optimizing Compilers
• Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli
• Computer Aided Verification
• Static Analysis
• One approach to the specification and verification of translators
• Translation and run-time validation of loop transformations

Describes a project that uses

Uses Software

• CVC

This page was built for publication: Automated Technology for Verification and Analysis

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