“Safety Verification