A historical project is used as a reference model for the verification planning process. The planning equations and an example are presented. The example objective set is to increase the level of defect removal from thefinal softwwe from the historical level of 35% to about 88% of the dejects introduced into the code and to reduce the overall number of delivered defects/KLOC by 85%. The example...