The following pages link to June Andronick (Q2829243):
Displaying 6 items.
- Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency (Q2829245) (← links)
- Bridging the Gap: Automatic Verified Abstraction of C (Q2914735) (← links)
- From a Proven Correct Microkernel to Trustworthy Large Systems (Q3067529) (← links)
- seL4 Enforces Integrity (Q3088017) (← links)
- FM 2005: Formal Methods (Q5716885) (← links)
- A Million Lines of Proof About a Moving Target (Invited Talk) (Q5875404) (← links)
