Type Theory Forall podcast

#27 Formalizing an OS: The seL4 - Gerwin Klein

Spol 15 sekunder tilbage
Spol 15 sekunder frem

In this episode talk with Gerwin Klein about the formal verification of the microkernel seL4 which was done using Isabelle at NICTA / Data61 in Australia. We also talk a little about his PhD Project veryfing a piece of the Java Virtual Machine.


Flere episoder fra "Type Theory Forall"