Cited in
(26)- Mechanized result verification: An industrial application
- A self-certifying compilation framework for WebAssembly
- Formal verification of translation validators
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
- Securing a compiler transformation
- A simple, verified validator for software pipelining
- The code validation tool (CVT). Automatic verification of a compilation process
- Securing the SSA transform
- TVOC
- SystemC
- CVC
- EVC
- ICS
- Crellvm
- Loopy
- WebAssembly
- Building small equality graphs for deciding equality logic with uninterpreted functions
- The small model property: How small can it be?
- A formal approach for the construction and verification of railway control systems
- scientific article; zbMATH DE number 1670512 (Why is no real title available?)
- Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli
- scientific article; zbMATH DE number 2102726 (Why is no real title available?)
- A Case Study in Abstract Interpretation Based Program Transformation
- Systematic design of program transformation frameworks by abstract interpretation
- Verification of SpecC using predicate abstraction
- Translation and run-time validation of loop transformations
This page was built for software: CVT
