• 伊莎贝尔/霍尔

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

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

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

  • 490篇参考文献[SW01218]
  • 编译程序编写,自动定理证明正式 验证. (维基百科…
  • 努斯莫

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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