The following pages link to Verified bytecode subroutines (Q1405993):
Displaying 4 items.
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Verified bytecode verifiers. (Q1874284) (← links)