Specification and verification in the field: Applying formal methods to BPF JITs [pdf]unsat.cs.washington.edu3 pointsmatt_d6 years ago