#28 Formally Verifying Smart Contracts
February 15th 2023
#27 Formalizing an OS: The seL4
February 4th 2023
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.
LinksDownload .mp3 (80.5M)