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