Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk presents a practical finite-state-machine approach to modeling and verifying the Linux kernel using tracing events. It focuses on runtime verification with low overhead, sometimes without modifying Linux.
