Browsing by Author Andronick, June
Showing results 1 to 3 of 3
Mind the Gap: Verification Framework for Low-Level C
Author(s) | Winwood, Simon; Klein, Gerwin; Sewell, Thomas, et al |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | August 17-20 2009 |
SeL4: Formal verification of an operating-system kernel
Author(s) | Klein, Gerwin; Andronick, June; Elphinstone, Kevin, et al |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
seL4: Formal Verification of an OS Kernel
Author(s) | Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot, et al |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | October 11-14 2009 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator