形式化验证(formal verification)是一种对程序实现的使用的算法严格的验证方法,它的基础来自现代数学的根本组成部分之一——证明论。
基于28个网页-相关网页
形式化验证 formal verification ; formal authentication
结构化验证 structural confirmatory
服务器虚拟化验证计划 Server Virtualization Validation Program
自动化验证 automatic verification
科学化验证 Scientific evidence-based research
服务器虚拟化验证项目 Server Virtualization Validation Program ; SVVP
服务器虚拟化验证程序 Server Virtualisation Validation Program
催化裂化验证的整合 fcc verification of conformity
初始化验证 initialization verification
DTD验证器提供基本的结构化验证。
在新兴的全球市场环境下,这种简化验证的需求应该是自成一体的。
In the emerging global marketplace, the need for such streamlined validation should be self-explanatory.
IBM全球化验证测试小组甚至不需要转换消息就可以使用伪翻译来对软件进行检验。
IBM globalization verification test teams use pseudo translation to examine software without even translating messages.
应用推荐