RV and real-time properties - Gabriele Monaco (Red Hat Inc.)
Linux Plumbers Conference · 21:35
A Red Hat engineer explains how the Linux Runtime Verification (RV) framework can check the kernel's own behavior, not just how users configure it. The talk introduces new "hybrid automata" models that can enforce rea...