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

Programming Languages
University of Virginia via Udacity
Digital System Design
Indian Institute of Technology, Ropar via Swayam
Embedded Systems - Shape The World: Microcontroller Input/Output
The University of Texas at Austin via edX
Model Checking
Chennai Mathematical Institute via Swayam
Digital Systems: From Logic Gates to Processors
Universitat Autònoma de Barcelona (Autonomous University of Barcelona) via Coursera