归纳断言法

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

英文 inductive assertion method
繁体 歸納斷言法

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

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

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

【归】组词

【纳】组词

【断】组词

【言】组词

【法】组词

热门词语