The following pages link to (Q5447372):
Displaying 6 items.
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Verifying a Compiler for Java Threads (Q3558240) (← links)
- A Machine Checked Soundness Proof for an Intermediate Verification Language (Q3599104) (← links)
- Verifying an Open Compiler Using Multi-language Semantics (Q5410697) (← links)
- Verification of Equivalent-Results Methods (Q5458406) (← links)