Lecture: OS: seL4 - Part 2

Date: 2/13/17

Reading

• Required reading: Comprehensive Formal Verification of an OS Microkernel, Klein et al., ACM TOCS, 2014. Read the remaining sections (5-9)
• Optional reading: seL4: Formal Verification of an OS Kernel, Klein et al., SOSP, 2009.