Validation By Correctness Proofs
Applicable only in special circumstances
Appied to formal specifications in order to demonstrate that they have correctly captured client expectations
