Type Theory Forall podcast

#27 Formalizing an OS: The seL4 - Gerwin Klein

0:00
1:58:40
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.

Links

Flere episoder fra "Type Theory Forall"