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
Real Time Mesajlaşma UygulamasıUdemy Securely Booting Confidential VMs with Encrypting Disk
Linux Plumbers Conference via YouTube Pressure Feedback for LRU Map Types
Linux Plumbers Conference via YouTube Closing the BPF Map Permission Loophole
Linux Plumbers Conference via YouTube The Revival of the Learning-Sync Bridgeport Flag
Linux Plumbers Conference via YouTube