Computer systems need to be checked for correctness prior to market launch. However, because of time constraints and the complexity of today's ...