Pages that link to "Item:Q1865858"
From MaRDI portal
The following pages link to The code validation tool (CVT). Automatic verification of a compilation process (Q1865858):
Displayed 8 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)
- 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)
- A Case Study in Abstract Interpretation Based Program Transformation (Q4917048) (← links)
- Securing a compiler transformation (Q5916265) (← links)