归纳断言法

【归纳断言法】基础信息（ 英文,繁体）

词语 归纳断言法
英文 inductive assertion method
繁体 歸納斷言法

【归纳断言法】是什么意思

由Floyd提出的一种对程式正确性证明方法。将一程式分割，并假设其满足条件，再将其建立验证条件进行验证，若所有验证为真，则表该程式或程式段是正确的。

【归纳断言法】相关的组词

【归】组词

【纳】组词

【断】组词

【言】组词

【法】组词

热门词语