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

题库:计算机等级考试 类型:填空题 时间:2017-07-03 14:10:53 免费下载:《填空》Word试卷

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

本题关键词:税收立法程序,程序,生产程序,工序交接证明书,行政许可听证程序,程序性文件,程序性审查,照明设备施工程序,处方销毁程序,工程施工程序;