Verification techniques#