Benchmarking Crimes Meet Formal Verification (via gnyeki) — discussion

#formalmethods #osdev