Formal Methods for Kernel Hackers
Offered By: Linux Plumbers Conference via YouTube
Course Description
Overview
Explore formal methods for kernel development in this 44-minute conference talk from the Linux Plumbers Conference. Discover how these tools, often perceived as academic and inaccessible, can be effectively used by kernel hackers to improve the Linux kernel. Learn about formal models that have uncovered real bugs in the kernel and discuss potential future applications, from modeling existing kernel implementations to formally specifying new design choices. Gain insights into PlusCal, an algorithm language based on TLA+, through introductory examples, with no prior knowledge required. Join speaker Catalin Marinas in demystifying formal methods and their practical applications in kernel hacking.
Syllabus
LPC2018 - Formal Methods for Kernel Hackers
Taught by
Linux Plumbers Conference
Related Courses
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera