Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

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

Reviews

Start your review of Program Verification for the Linux Kernel - Potential Costs and Benefits

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.