Correctness Proofs of Distributed Systems with Isabelle
Martin Kleppmann introduces Isabelle/HOL as a tool for formal verification, demonstrating its application in proving the correctness of complex distributed systems.
Research Lab
Code Mesh LDN
Code Mesh LDN is a technical conference focusing on advanced programming paradigms and emerging technologies, attracting a global developer audience.
0university courses1recorded lecture1harchive runtime1faculty & speakers
Talks from Code Mesh LDN
1Standalone lectures, seminars, and public talks.
Faculty & visiting speakers at Code Mesh LDN
1Professors, researchers, and invited lecturers recorded at Code Mesh LDN.
All recorded lectures from Code Mesh LDN
1Browse, filter, and sort every lecture from Code Mesh LDN.
Showing 1 of 1 lectures
44:37
Academic Lineage, Alumni Faculty & Institutional Web · Code Mesh LDN
1 connectionScholars who earned doctoral or undergraduate degrees at Code Mesh LDN, faculty chairs, and interconnected curricula across the archive.