• 自旋

  • 682篇参考文献[SW0345 5]
  • 可以用于正式的验证分布式软件系统。工具…
  • 乌普巴尔

  • 611篇参考文献[SW04702]
  • 用于建模、仿真和集成的工具环境验证实时系统,共同开发…
  • PVS

  • 590篇参考文献[SW0384]
  • 验证系统:即支持语言工具和定理证明工具的集成语言。
  • 伊莎贝尔

  • 572篇参考文献[SW044]
  • 数学证明,特别是形式证明验证其中包括证明计算机硬件的正确性…
  • 564篇参考文献[SW1654]
  • 单个对象,最后执行验证通过最小二乘求解一致姿态参数。
  • 毫升

  • 490篇参考文献[SW01218]
  • 编译器编写、自动定理证明与形式化验证. (维基百科…
  • 努斯莫

  • 284篇参考文献[SW04131]
  • 可以可靠地用于验证工业设计,作为一个核心…自定义验证工具,作为正式的测试平台验证技术,并应用于其他研究…
  • Z3

  • 440篇参考文献[SW0488]
  • 程序分析、测试和验证来自微软研究的工具。这些包括:VCC,Spec.…
  • 高超声速

  • 316篇参考文献[SW04125]
  • 通过符号模型检验验证。如果验证失败,然后HyTeaT产生诊断错误…
  • 爆炸

  • 120篇参考文献[SW09337 ]
  • 伯克利懒惰抽象软件验证工具)是一个静态软件验证工具点(main函数)通过一个有效的执行。验证安全性能可以降低…可达性,而BLAST用于这样验证在Linux驱动程序中验证项目
  • 塞萨尔

  • 145篇参考文献[SW0810]
  • 规范和验证CSEAR中的并发系统。本文的目的是…单调谓词变换器的不动点这个验证一个系统包括获得…
  • 布吉

  • 113篇参考文献[SW0714]
  • Boogie:中间派验证语言BoGee是一个中间物验证语言,作为一层…也就是这个名字验证以BooGi程序为输入的工具…给定BoGee程序,然后生成验证传递给SMT求解器的条件…
  • WHY3

  • 120篇参考文献[ SW044 38 ]
  • WHY3是演绎程序的平台验证. 它为规范提供了丰富的语言。自动化和交互式的处理器验证条件WHY3附带一个标准库…用作中间语言验证C、Java或艾达程序。为什么…
  • 团结

  • 170篇参考文献[SW13461 ]
  • 形式上的断言,允许正式验证在过渡系统中,第二步进入可执行程序…
  • 埃斯特尔

  • 157篇参考文献[SW1212]
  • 为显式或基于BDD提供支持验证执行双模拟减少的工具…
  • CAFEOBO

  • 156篇参考文献[SW0622]
  • 作为行为系统工具的CAFEBOBJ验证. 我们报告的机器支持的方法…
  • 电除尘器

  • 149篇参考文献[SW06302]
  • 自动定理证明包括硬件和软件验证部分自动化的各种数学活动,促进…
  • 猛击

  • 147篇参考文献[SW03136]
  • 使用SLAM的驱动程序开发工具包验证引擎