证明程序正确最常用的方法是______,它对程序提出一组命题,如在数学上证明这些命题不成立,就能保

证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。