Iteration
Improve confidence in a specification by iterative checking of a different “view” of the specification
- People using model checkers are usually unhappy when the original answer is “yes”
- The iterative process of poking at the specification, changing the formulae, etc., contribute to an increased confidence that is not necessarily measurable