The following pages link to CVT (Q21931):
Displaying 18 items.
- A formal approach for the construction and verification of railway control systems (Q539161) (← links)
- Translation and run-time validation of loop transformations (Q812060) (← links)
- The small model property: How small can it be? (Q1854568) (← links)
- Mechanized result verification: An industrial application (Q1856154) (← links)
- The code validation tool (CVT). Automatic verification of a compilation process (Q1865858) (← links)
- A self-certifying compilation framework for WebAssembly (Q2234063) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- (Q2753708) (← links)
- Formal verification of translation validators (Q3189822) (← links)
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems (Q3526937) (← links)
- (Q4818813) (← links)
- A Case Study in Abstract Interpretation Based Program Transformation (Q4917048) (← links)
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework (Q4930715) (← links)
- Systematic design of program transformation frameworks by abstract interpretation (Q5178905) (← links)
- Securing the SSA Transform (Q5233238) (← links)
- A simple, verified validator for software pipelining (Q5255064) (← links)
- Securing a compiler transformation (Q5916265) (← links)
