程序正确性证明是用______来证明程序正确性的方法。

ARPANET的成功运行证明了分组交换理论的正确性（） 氧的发现最终证明了燃素说的正确性（） 霍桑试验证明了“经济人”假设的正确性。（） 下列不能作为检查程序的正确性的方式（） 源程序的质量要求，主要体现在源程序的正确性、可读性和()。 程序设计的质量要求包括：正确性、可靠性、可维护性和( ) 爱因斯坦通过物理实验证明了广义相对论的正确性（） 验证营业收入入账的正确性时，常用的实质性程序不包括（） 验证营业收入入账的正确性时，常用的实质性程序不包括： 针对软件程序模块进行正确性检验的测试工作的是（）。 广义相对论的正确性由爱因斯坦通过物理实验获得了证明。（） 广义相对论的正确性由爱因斯坦通过物理实验获得了证明（） 一个好的计算机程序既要确保其正确性和可靠性,还要注重源程序 数据流图的正确性是保证软件逻辑模型正确性的基础，以下（）项内容与它的正确性、相关性最弱 正确性 有关恶性肿瘤的诊断方法中，正确性最高的是有关恶性肿瘤的诊断方法中，正确性最高的是（） 目前诊断肿瘤正确性较高的方法是 目前诊断肿瘤正确性较高的方法是（） 为保证数据输入的正确性，不但要保证输入程序正确、操作有效、可查性好，更需要源数据( ) 对于一个进程来说，其工作的正确性不仅取决于程序的正确性，而且也与进程在执行中与其他相关进程正确地实施（）有关。