填空题程序正确性证明是用 1来证明程序正确性的方法。

【正确答案】

【答案解析】数学的方法[解析] 在系统开发中，验证程序的正确性采用的是数学的方法。