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 a conference talk that delves into the intricacies of fast formal verification techniques for range analysis in verifiers. Learn about the Agni tool, its implementation, and how it enhances the verification process for eBPF programs. Discover the challenges faced in verifying range analysis and the innovative solutions proposed to overcome them. Gain insights into the performance improvements achieved through Agni and its potential impact on the Linux kernel's eBPF verifier.
