程序正确性证明是用______来证明程序正确性的方法。
参考答案：数学的方法
解析：
[分析]： 在系统开发中，验证程序的正确性采用的是数学的方法。
试述过滤器理论。
排钾利尿药增强强心苷的毒性是属于药物之间的
A．敏感化现象
B．竞争性拮抗作用
C．非竞争性拮抗作用
D．作用于同一作用部位或受体的协同或相加作用
E．作用于不同作用点或受体时的协同作用
