execution points to determine when testing is complete. Checking the
correctness of each execution together with a description of all the
relevant executions results in the validation of the program with
respect to the property being tested, thus validating that the final