Patrice Godefroid: Software Model Checking Improving Security of a Billion Computers. SPIN 2009: 1