6.7 Verification and Certification