Statistics for Using Software Model Checking for Software Certification