?外的定理证实

...阐发2)和一些 bug 标准样式举行比力,终极标示需要别人解答的题目地区范围,输出阐发成果3)施用了分外的定理证实(theorem proving)技能来判断1个潜在的纰缪是不是是真正的纰缪,从而减缓了步伐员判断纰缪真伪所需的事情量9.

?理验证

...括： 说明（specification） 验证（verification） ? 形式验证包括： 模型检验（model checking） 推理验证（theorem proving） 模型检验 ? 模型检验是一种自动验证有穷状态系统 的技术。

?定理验证

... 定物 earnest 定理 theorem 定理验证 theorem proving ...