Continuous Reasoning: Scaling the impact of formal methods
Thorough static analysis of device drivers