The following pages link to (Q2769440):
Displaying 5 items.
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Verified bytecode verifiers. (Q1874284) (← links)
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
