Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
