Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore program verification techniques for the Linux kernel in this 50-minute conference talk that examines the potential costs and benefits of implementing formal verification methods in kernel development. Learn about the current state of program verification tools and methodologies that can be applied to kernel code, including static analysis, model checking, and theorem proving approaches. Discover the practical challenges and trade-offs involved in adopting verification techniques for critical kernel components, from performance overhead considerations to development workflow integration. Understand how program verification can help identify bugs, security vulnerabilities, and correctness issues in kernel code while weighing the implementation costs against the potential benefits for system reliability and security.
