Learn AI, Data Science & Business — Earn Certificates That Get You Hired
Master Windows Internals - Kernel Programming, Debugging & Architecture
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the current state of RV (Runtime Verification) in a 45-minute conference talk presented at the Linux Plumbers Conference. Gain insights from Daniel Bristot de Oliveira as he delves into the latest developments, challenges, and future directions of Runtime Verification in the context of Linux systems. Learn about the importance of RV in ensuring system reliability and security, and discover how it impacts various levels of the Linux plumbing layer. This talk is ideal for developers, system administrators, and anyone interested in understanding the role of Runtime Verification in modern Linux environments.
Syllabus
RV: where are we? - Daniel Bristot de Oliveira
Taught by
Linux Plumbers Conference