接受错误率指被验证方法判定为通过的形式化结果中实际存在语义错误的比例，直接衡量验证器的假阴性比例。