US7523367B2 - Method and Apparatus to Verify Non-Deterministic Results in an Efficient Random Manner