• 伊莎贝尔/霍尔

• 916篇参考文献[SW01569]
• 数学证明，特别是数学证明正式 验证其中包括证明计算机硬件的正确性…

• 自旋

• 695篇参考文献[SW0345 5]
• 可用于正式 验证分布式软件系统。工具…

• 伊莎贝尔

• 591篇参考文献[SW044]
• 数学证明，特别是数学证明正式 验证其中包括证明计算机硬件的正确性…

• 毫升

• 498篇参考文献[SW01218]
• 编译程序编写，自动定理证明正式 验证. （维基百科…

• 努斯莫

• 287篇参考文献[SW04131]
• 验证工具，作为测试平台正式 验证技术，并应用于其他研究领域…

• 霍尔灯

• 284篇参考文献[SW0680]
• 形式化数学与工业正式 验证…

• 团结

• 173篇参考文献[SW13461 ]
• 正式允许，断言正式 验证在过渡系统中，第二步进入可执行程序…过渡系统：可以指定属性正式地模型应该服从并证明它们…

• SEL4

• 78篇参考文献[SW15222]
• SEL4:正式 验证一个OS内核。完成正式 验证是唯一已知的…表演经验正式机器检查验证从一个抽象的SEL4微内核…使用独特的设计方法正式以及操作系统技术。据我们所知…

• 钥匙

• 63篇参考文献[SW0996]
• 集成设计、实现正式规范和正式 验证面向对象软件无缝地…

• 伊莎贝尔／ZF

• 60篇参考文献[SW0493]
• 数学证明，特别是数学证明正式 验证其中包括证明计算机硬件的正确性…计算机语言和协议的特性。伊莎贝尔／ZF形式化基本集合论的大部分…

• 马赛特

• 55篇参考文献[SW0949]
• 明确设计用于正式 验证从而提供了扩展的功能。

• PVS

• 600篇参考文献[SW0384]
• 验证系统：即支持语言工具和定理证明工具的集成语言。机械化技术正式方法和足够坚固的…

• MATSAT5

• 43篇参考文献[SW09569]
• 工具正式 验证（以及其他应用程序）。MathSAT5是最新版本的工具…

• 汇编

• 42篇参考文献[SW09737 ]
• 项目研究正式 验证可用于关键嵌入式软件的现实编译器。这样…可以通过申请获得担保正式方法源程序。主要结果…

• 步骤

• 36篇参考文献[SW17948 ]
• 支持计算机辅助的组正式 验证反应性、实时性和混杂系统…

• 美国广播公司

• 21篇参考文献[SW12910]
• 逻辑综合领域系统正式 验证在同步电路中出现的二进制逻辑电路…顺序合成与序贯协同验证导致在这两个领域的改进。本文…发展，并说明了它在正式 验证…

• Cadence SMV

• 27篇参考文献[SW0795]
• 可能的输入序列。同时正式 验证通常等同于等价性检查、模型检查…

• 电除尘器

• 152篇参考文献[SW06302]
• 软件验证部分数学活动的自动化，促进发展正式理论…

• 焦点

• 20篇参考文献[SW01591]
• FACS——自动生成模拟检查器正式规格在可预见的将来，工业硬件…设计中的仿真与模型检验验证过程。迄今为止，这些技术被应用…仿真的个体优势正式 验证…

• 围墙

• 19篇参考文献[ SW099 39 ]
• 检查栅栏是基于SAT的正式 验证分析C代码实现并发数据的工具…交错和重新排序。检查栅栏不需要正式规范或注释，但挖掘一个规范…