While the body of verification problems in the literature is growing, it is still far smaller than the authors would like [KS03]. And while the problems presented here are not terribly complicated, nor are they trivial. Also they are exact, easy to compute, and easy to implement. And from simple to sophisticated there is a role to play for all verification problems. Should a code fail on the more complicated verification solutions the simpler ones may provide a way of isolating what is causing the problem. And with every exact solution a computer code computes our confidence in the unverifiable solutions grows. The verification solutions presented above have proven useful to the authors and we hope others will find them so as well.
展开▼
