Figure 4.2 Verification Tools