Tag Archives: Haskell

A paper review – seL4: Formal Verification of an OS kernel

Paper review for – seL4: Formal Verification of an OS Kernel daveti@cs.uoregon.edu Dec 10, 2013 How could we guarantee the code we are running is right? Even after different and long-time testing, we have yet not been so sure that … Continue reading

Posted in Embedded System, OS, Programming, Security | Tagged , , , , | Leave a comment