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):
Displaying 11 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)
- Formal validation of pattern matching code (Q2917405) (← links)
- A Case Study in Abstract Interpretation Based Program Transformation (Q4917048) (← links)
- Computer Aided Verification (Q5312929) (← links)
- Computer Aided Verification (Q5716568) (← links)
- Securing a compiler transformation (Q5916265) (← links)