Verifying & Validating Hazard Controls