Looking for Missed Alarm Bugs in a Formal Verification Tool

Embedded in Academia 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 very difficult to get right. They are subject to