swMATH9952MaRDI QIDQ21931FDOQ21931
Author name not available (Why is that?)
Official website: http://link.springer.com/article/10.1007%2Fs100090050027?LI=true
Cited In (25)
- 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
- Building small equality graphs for deciding equality logic with uninterpreted functions
- SystemC
- CVC
- EVC
- ICS
- 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
- Crellvm
- Loopy
- WebAssembly
- Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli
- 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
