• 伊莎贝尔/霍尔

• 引用922篇文章[sw01569]
• 数学证明尤其是正式的 验证包括证明计算机硬件的正确性。。。

• 旋转

• 引用699篇文章[sw03455]
• 可用于正式的 验证分布式软件系统。工具。。。

• 伊莎贝尔

• 引用了598篇文章[sw00454]
• 数学证明尤其是正式的 验证包括证明计算机硬件的正确性。。。

• 毫升

• 在502篇文章中引用[sw01218]
• 编写编译器，自动定理证明和正式的 验证. （维基百科。。。

• 努西姆

• 引用288篇文章[sw04131]
• 验证工具，作为正式的 验证并应用于其他研究领域。。。

• 霍尔灯

• 引用286篇文章[sw06580]
• 形式化数学和工业正式的 验证...

• 团结

• 引用了173篇文章[sw13461]
• 正式的允许的断言正式的 验证转换系统，第二个变成可执行程序。。。一个系统可以指定过渡正式地模型应该服从并证明它们。。。

• 塞尔4

• 引用了78篇文章[sw15222]
• 第4类：正式的 验证操作系统内核。完成正式的 验证是唯一已知的。。。在执行正式的，已检查机器验证从一个抽象的seL4微核。。。采用独特的设计方法融合正式的以及操作系统技术。据我们所知。。。

• 钥匙

• 引用63篇文章[sw09969]
• 整合设计、实施，正式的规范，以及正式的 验证面向对象软件的无缝。。。

• 伊莎贝尔/采埃孚

• 参考第61条[sw04973]
• 数学证明尤其是正式的 验证包括证明计算机硬件的正确性。。。计算机语言和协议的性质。伊莎贝尔/采埃孚正式化基本集合论的大部分。。。

• 数学卫星

• 在56篇文章中引用[sw09449]
• 明确设计用于正式的 验证，从而提供扩展。。。

• PVS公司

• 在602篇文章中引用[sw03484]
• 验证系统：也就是说，与支持工具和定理证明程序集成的规范语言。。。最先进的机械化正式的方法足够坚固。。。

• 数学5

• 引用44篇文章[sw09569]
• 工具正式的 验证（和其他应用）。MathSAT5是这个工具的最新版本。。。

• 公司证书

• 引用42篇文章[sw09737]
• CompCert项目调查正式的 验证可用于关键嵌入式软件的实际编译器。这样。。。通过应用正式的方法来源程序。主要结果是。。。

• 台阶

• 引用36篇[sw17948]
• 计算机辅助支持正式的 验证反应、实时和混合系统。。。

• 基础知识

• 引用21篇文章[sw12910]
• 逻辑综合领域系统正式的 验证二元逻辑中出现的同步电路。。。序贯合成与序贯合成的协同作用验证在这两个领域都有改进。这篇论文。。。开发，并说明其在正式的 验证...

• Cadence SMV公司

• 27条引用[sw07795]
• 可能的输入序列。同时正式的 验证通常等同于等价性检验，模型检验。。。

• ETPS公司

• 在152篇文章中引用[sw06302]
• 软件验证，部分自动化了各种数学活动，促进了数学的发展正式的理论。。。

• FoCs公司

• 引用了20篇文章[sw01591]
• FoCs—自动生成模拟检查程序正式的规范。在可预见的未来，工业硬件。。。设计中的仿真与模型检验验证过程。到目前为止，这些技术应用于。。。模拟和正式的 验证...

• 栅栏

• 引用19篇文章[sw09939]
• CheckFence是基于SAT的正式的 验证分析实现并发数据的C代码的工具。。。交错和重新排序。CheckFence不需要正式的规范或注释，但挖掘规范。。。