Even More Formal Verification for BPF

3 points | by pykello 12 hours ago