Even More Formal Verification for BPF

(lwn.net)

3 points | by pykello a day ago ago