Pages that link to "Item:Q3189822"
From MaRDI portal
The following pages link to Formal verification of translation validators (Q3189822):
Displayed 5 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)
- A verified framework for higher-order uncurrying optimizations (Q968367) (← links)
- A formally verified compiler back-end (Q2655327) (← links)