Showing that this definition is in fact the correct one particular can be carried out by an easy induction following the recursive definition of (textit rbst ):Verification Testing: Verification screening relates again into the authorised necessities established (like an SRD) and may be carried out at various phases from the item lifestyle cycle. V