• 旋转

  • 引用727篇文章[sw03455]
  • 可用于正式场合验证分布式软件系统。工具。。。
  • 伊莎贝尔

  • 引用721篇文章[sw00454]
  • 数学证明,尤其是形式证明验证包括证明计算机硬件的正确性。。。
  • PVS公司

  • 引用637篇文章[sw03484]
  • 验证系统:也就是说,与支持工具和定理证明程序集成的规范语言。。。
  • 引用文献635篇[sw16554]
  • 单个对象,最后执行验证通过最小二乘法求解一致的姿态参数。这个。。。
  • z3型

  • 参考文献612篇[sw04887]
  • 程序分析、测试和验证微软研究所提供的工具。这些包括:VCC,规格。。。
  • 毫升

  • 引用524篇文章[sw01218]
  • 编译程序编写,自动定理证明和形式化验证(维基百科。。。
  • 努西姆

  • 引用文献314篇[sw04131]
  • 它可以可靠地用于验证工业设计,作为一个核心…习惯验证工具,作为正式验证并应用于其他研究。。。
  • 高超声速

  • 在333篇文章中引用[sw04125]
  • 通过符号模型验证。如果验证失败,然后HyTech生成一个诊断错误。。。
  • 爆炸

  • 在129篇文章中引用[sw02937]
  • BLAST(伯克利懒惰抽象软件验证工具)是一个静态软件验证(一个)有效的点执行工具。验证安全性能可能会降低…可达性,而爆炸是用于这样的验证在Linux驱动程序中验证项目。。。
  • 塞萨尔

  • 引用161篇[sw08510]
  • 规范和验证塞萨尔的并发系统。本文的目的是…单调谓词变换器的不动点。这个验证一个系统包括。。。
  • 原因3

  • 参考文献136篇[sw04438]
  • 为什么3是演绎程序的平台验证它为规范提供了一种丰富的语言,包括自动和交互式的,来进行排放验证条件。Why3附带了一个标准库…用作验证C、Java或Ada程序。为什么3。。。
  • 布吉

  • 引用120篇文章[sw07714]
  • 布吉:中间人验证语言。布吉是个中间人验证语言,作为一个层…它也是验证该工具将Boogie程序作为输入…给定Boogie程序,然后生成验证传递给SMT解算器的条件。。。
  • 团结

  • 引用185篇[sw13461]
  • 正式的断言,允许正式的验证转换系统,第二个变成可执行程序。。。
  • 咖啡馆

  • 参考171篇文章[sw06232]
  • CafeOBJ作为行为系统的工具验证。我们报告一种机器支持的方法。。。
  • 埃斯特雷尔

  • 引用166篇文章[sw20012]
  • 提供显式或基于BDD的支持验证执行交互模拟减少的工具。。。
  • ETPS公司

  • 引用161篇[sw06302]
  • 自动定理证明包括硬件和软件验证,各种数学活动的部分自动化,促进。。。
  • 猛击

  • 在153篇文章中引用[sw03136]
  • 使用SLAM的驱动程序开发工具包验证引擎。。。