YoVDO

Formal Verification Made Easy and Fast

Offered By: Linux Foundation via YouTube

Tags

Formal Verification Courses Finite State Machine Courses Linux Kernel Development Courses PREEMPT_RT Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Compilation
Udemy
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