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

BIOS是一组固化在ROM中的程序 操作系统是一组“管理各种资源以便执行应用程序”的程序。 由一组护理人员应用护理程序的工作方法，共同完成对一组病人的护理工作（） 由一组护理人员应用护理程序的工作方法，共同完成对一组患者的护理工作 表示一组观察值的离散趋势最常用的指标是（　　）。 检查一组数据异常值最常用的统计图形是（） 程序是能够完成特定功能的一组指令序列（） 程序是能完成特定功能的一组指令序列。 由一组护理人员应用护理程序的工作方法，共同完成对一组病人的护理工作，被称为 由一组护理人员应用护理程序的工作方法，共同完成对一组患者的护理工作，被称为 如果一组程序段在一个程序中多次出现，可将其做成固定程序并单独加以命名，该程序叫做（）。 描述一组正态分布资料的变异程度，最常用的指标是 浏览器主要由一组客户、一组解释程序以及一个管理这些客户和解释程序的控制器组成（） 你的项目需要使用一组新的软件程序，但是如这组程序无法使用，你的团队就会有一个（）计划来使用现有软件。 源程序经过编译后，可得到一组目标模块，用链接程序将这组目标模块链接形成装入模块的方法有：()。 表示一组观察值分布的离散程度大小最常用的指标是（） 表示一组观察值分布的离散程度大小最常用的指标是 控制面板是一组系统管理程序。 BIOS是一组固化在ROM中的程序，其内容不含（ ） （）的定义是一组固有特性满足要求的程序。