程序正确性证明最常用的方法是【】,它对程序提出一组命题。如果在数学上证明这些命题成立,就能保证
程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
正确答案：归纳断言法归纳断言法
词条内容仅供参考，如果您需要解决具体问题
（尤其在法律、医学等领域），建议您咨询相关领域专业人士。
程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
正确答案：归纳断言法归纳断言法
词条内容仅供参考，如果您需要解决具体问题
（尤其在法律、医学等领域），建议您咨询相关领域专业人士。