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

Windows附件程序组是一组用于的应用程序（） 下列两组林权登记发证的程序，请判断哪一组属正确程序（） 操作系统是一组（）程序。 抗疟治疗最常用的是哪一组 下列实质性程序获取的审计证据中,与证明销售交易登记入账金额的正确性最相关的是()。 一个好的计算机程序既要确保其正确性和可靠性,还要注重源程序 源程序的质量要求，主要体现在源程序的正确性、可读性和()。 在VHDL中最常用的库是（）标准库，最常用的程序包是（）程序包。 最常用的循环程序的控制方法是______。一个循环结构的程序主要由______三部分组成。 工具栏是图形界面程序常用的组件。它将一组控件（以按钮为主）排 成一行中，放在程序的顶端。 BIOS是一组固化在ROM中的程序 操作系统是一组“管理各种资源以便执行应用程序”的程序。 下列不能作为检查程序的正确性的方式（） 由一组护理人员应用护理程序的工作方法，共同完成对一组病人的护理工作（） 由一组护理人员应用护理程序的工作方法，共同完成对一组患者的护理工作 一般来说，任何对效率无重要改善，且对程序的简单性、可读性和正确性不利的程序设计方法都是不可取的（） 表示一组观察值的离散趋势最常用的指标是（　　）。 检查一组数据异常值最常用的统计图形是（） 目前有一种日渐普及的测试程序产生方法，就是选择一组各个方面都具有代表性的测试程序，组成一个（），并称为（）。 程序是能够完成特定功能的一组指令序列（）