Patent ID: 8826238

Claim:
A computer-implemented method comprising: ascertaining multiple pathways in code to be verified by referencing a harness file that designates a position of callbacks within the code relative to a non-deterministic portion of the code defined by one or more non-deterministic choices, harness designations being sufficient to identify the multiple pathways; forming groups for verification of the code according to identified pathways, each of the groups containing a portion of the code to be verified; and directly verifying the code against one or more rules using the formed groups, including: for a first rule: executing respective pathways in the code corresponding to each of the groups; and monitoring to determine compliance of the respective pathways with the first rule; and when the code is verified against multiple rules, for each other said rule: executing the respective pathways in the code corresponding to each of the groups; and monitoring to determine compliance of the respective pathways with the other said rule.