verification statement


formal declaration of the outcome of a verification (3.4.1)