Pages that link to "Item:Q3189822"
From MaRDI portal
The following pages link to Formal verification of translation validators (Q3189822):
Displaying 13 items.
- Trustworthy variant derivation with translation validation for safety critical product lines (Q338617) (← links)
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Translation and run-time validation of loop transformations (Q812060) (← links)
- Automatic generation and validation of instruction encoders and decoders (Q832306) (← links)
- A verified framework for higher-order uncurrying optimizations (Q968367) (← links)
- Verified spilling and translation validation with repair (Q1687761) (← links)
- Automatic validation of code-improving transformations on low-level program representations (Q1887677) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Formal validation of pattern matching code (Q2917405) (← links)
- Automated Technology for Verification and Analysis (Q5394193) (← links)
- Computer Aided Verification (Q5716568) (← links)