CVT
From MaRDI portal
Software:21931
swMATH9952MaRDI QIDQ21931FDOQ21931
Author name not available (Why is that?)
Cited In (18)
- Mechanized result verification: An industrial application
- Securing the SSA Transform
- 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
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework
- Building small equality graphs for deciding equality logic with uninterpreted functions
- The small model property: How small can it be?
- Title not available (Why is that?)
- A formal approach for the construction and verification of railway control systems
- Title not available (Why is that?)
- 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
