Figure 2.11 Verification Tools