1) falsibility and provability
局部证伪与确证
2) verification and falsification
证明与证伪
1.
This paper introduces tools of verification and falsification and then compare and analyses their characteristic.
文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。
3) partial validation
局部验证
1.
XML validation, especially partial validation, is one of the key problems in XML applications.
XML验证,特别是局部验证,是XML应用中的一个关键问题。
4) refutation and falsification
反驳与证伪
5) Verification and validation
验证与确认
1.
The key issue arising from digitalization of the reactor protection system for nuclear power plant is how to carry out verification and validation(V&V),to demonstrate and confirm the software that performs reactor safety functions is safe and reliable.
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。
6) transcendence an d identification
超越与确证
补充资料：证伪主义
| 证伪主义 falsificationism 英国哲学家K.波普尔创立的科学哲学理论。波普尔从反 对逻辑实证主义关于科学理论来自对经验归纳的观点出发，把科学理论看作是普遍命题，认为科学理论不断通过有限的，个别的经验事实而被证实，但个别的经验事实都能证伪普遍命题，即如果根据演绎推理得出的结论是假的，其前提必假。在他看来，一种理论所提供的经验内容愈丰富、愈精确和普遍，它的可证伪度就愈大，科学性就愈高。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条