[19]

Copyright © 2000-2001 Profile Consulting Inc.

[19]

<<

The Verifier

>>

---

The code must do more than merely execute correctly.

The generated code must pass the verifier's scrutiny.

A non-trivial constraint.