The objectives of this specification are:

• to describe a method to define a verification scope
• to give guidance on how to select the level of involvement of the verifier
• to give guidance on how to establish a verification plan.