Pages that link to "Item:Q5394193"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394193):
Displaying 9 items.
- One approach to the specification and verification of translators (Q801659) (← links)
- Translation and run-time validation of loop transformations (Q812060) (← links)
- The code validation tool (CVT). Automatic verification of a compilation process (Q1865858) (← links)
- Automatic validation of code-improving transformations on low-level program representations (Q1887677) (← links)
- Translating Xd-C programs to MSVL programs (Q2290648) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
- Formal verification of translation validators (Q3189822) (← links)
- Certificate Translation for Optimizing Compilers (Q3613391) (← links)
- Computer Aided Verification (Q5716568) (← links)