1. 2

This is a kind of high-level summary of the research that underpins the formal verification Windows does on device drivers. Arguably one of the more widely impactful real-world applications of software verification, so I found it interesting.

  1.