5.7 Verification and Certification