Statistics for Formal verification of application and system programs based on a validated x86 ISA model