Formal Verification Made Easy and Fast
Offered By: Linux Foundation via YouTube
Course Description
Overview
Learn about the practical applications of formal verification in Linux kernel development through this 32-minute conference talk. Explore how modeling parts of Linux, such as memory models and PREEMPT_RT synchronization, can be made accessible to developers. Discover a methodology based on Finite-State Machines using familiar tracing events, making formal verification more approachable. Gain insights into the challenges and benefits of modeling and verifying the Linux kernel, with a focus on runtime verification techniques that offer low overhead and often require no kernel modifications. Understand how these approaches can be applied to real-world scenarios, bridging the gap between theoretical formal models and practical day-to-day development in the Linux ecosystem.
Syllabus
Formal Verification Made Easy (and fast!) - Daniel Bristot de Oliveira, Red Hat
Taught by
Linux Foundation
Tags
Related Courses
Linux Kernel Development Model and CompilationUdemy Linux Kernel Development Course
Udemy Linux on RISC-V with Open Hardware
Linux Foundation via YouTube Rapid Developing and Testing Linux Kernel in Docker Containers
Linux Foundation via YouTube Writing Linux Kernel Modules in Safe Rust
Linux Foundation via YouTube