Looking for Missed Alarm Bugs in a Formal Verification Tool

[This piece is co-authored with Vsevolod Livinskii.] Formal verification isn t some sort of magic pixie dust that we sprinkle over a computer system to make it better. Real formal verification involves a lot of the same kind of difficult, nasty, grungy engineering work that any other systems-level job involves. Furthermore, the verification tools themselves are [ ]