Program Verification for the Linux Kernel - Potential Costs and Benefits
Linux Plumbers Conference via YouTube
Overview
Explore the potential costs and benefits of program verification for the Linux kernel in this insightful conference talk. Delve into the complexities of implementing verification techniques within the Linux ecosystem, examining the challenges and opportunities that arise. Gain valuable insights from Julia Lawall as she discusses the impact of program verification on kernel development, maintenance, and overall system reliability. Understand the trade-offs between increased code quality and potential development overhead, and learn about the latest advancements in verification tools and methodologies specifically tailored for the Linux kernel. Discover how program verification could shape the future of Linux kernel development and contribute to enhanced security and stability in open-source operating systems.
Syllabus
Program verification for the Linux kernel: Potential costs and benefits - LAWALL, Julia
Taught by
Linux Plumbers Conference