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

SPARK 2014
AdaCore via Independent
Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera
Software Testing and Verification
University System of Maryland via edX
Haskell for Imperative Programmers
YouTube
Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube