What exactly Safety Verification Checking And exactly how Does It Work?