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
Programming LanguagesUniversity 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