Formal Software Verification Measures Up