a Grand Challenge for Computing Research
The August
The affordable application of formal methods to software engineering