Experience Report: seL4: Formally Verifying a High-Performance Microkernel

Name: Experience Report: seL4: Formally Verifying a High-Performance Microkernel
Uploaded: 2009-09-17T13:47:50-04:00
Duration: 21 min 29 s
Channel: Malcolm Wallace
Description: Experience Report: seL4: Formally Verifying a High-Performance Microkernel Gerwin Klein , Philip Derrin , Kevin Elphinstone; NICTA & UNSW, NICTA International…

Experience Report: seL4: Formally Verifying a High-Performance Microkernel  Gerwin Klein , Philip Derrin , Kevin Elphinstone;  NICTA & UNSW, NICTA  International…