These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
| 单词 | Formal verification |
| 释义 |
Formal verification
英语例句库
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
原声例句
TED演讲（音频版）精选 There's a venerable field called formal verification, which proves stuff about code. 有一个古老的领域称为形式验证，它证明有关代码的东西。 当月 CNN 10 学生英语 Meta acknowledged that it doesn't conduct formal parent verification, but says it uses other checks to determine if a user should be allowed to oversee a teen's account. Meta 承认它还没有进行正式的家长验证，但它表示，它会使用其他检查方法来确定是否允许用户监督青少年的账户。 TED演讲（音频版）精选 And then we use the formal verification tool known as Daphneto prove that this program correctly adds up any numbers, not just the numbers that were in your training data. 然后我们使用称为 Daphneto 的正式验证工具来证明该程序正确地添加了任何数字，而不仅仅是训练数据中的数字。
中文百科
形式验证在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。 软件测试无法证明系统不存在缺陷，也不能证明它符合一定的属性。只有形式化验证过程可以证明一个系统不存在某个缺陷或符合某个或某些属性。系统无法被证明或测试为无缺陷，这是因为不可能形式地规定什幺是「没有缺陷」。所有可以做的，就是证明一个系统没有任何可以想到的缺陷，并且满足所有的使系统符合功能要求的和有用的属性。 在集成电路设计中，形式验证是一种集成电路设计的验证方法，它的主要思想是通过使用形式证明的方式来验证一个设计的功能是否正确。形式验证可以分为三大类：等价性检查（Equivalence Checking）、形式模型检查（Formal Model Checking，也被称作特性检查）和定理证明（Theory Prover）。
英语百科
Formal verification 形式验证In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。