• 伊莎贝尔/霍尔

  • 在945篇文章中引用[sw01569]
  • 数学证明,尤其是形式证明验证包括证明计算机硬件的正确性。。。
  • 旋转

  • 引用709篇文章[sw03455]
  • 可用于正式场合验证分布式软件系统。工具。。。
  • PVS公司

  • 参考文献614篇[sw03484]
  • 验证系统:也就是说,与支持工具和定理证明程序集成的规范语言。。。
  • 伊莎贝尔

  • 在606篇文章中引用[sw00454]
  • 数学证明,尤其是形式证明验证包括证明计算机硬件的正确性。。。
  • 参考605篇文章[sw16554]
  • 单个对象,最后执行验证通过最小二乘法求解一致的姿态参数。这个。。。
  • 毫升

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

  • 引用496篇文章[sw04887]
  • 程序分析、测试和验证微软研究所提供的工具。这些包括:VCC,规格。。。
  • 努西姆

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

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

  • 参考文献125篇[sw02937]
  • BLAST(伯克利懒惰抽象软件验证工具)是一个静态软件验证工具。。。通过有效的执行来指向(主函数)。验证安全性能可能会降低。。。可及性,而BLAST则用于此验证在Linux驱动程序中验证项目。。。
  • 塞萨尔

  • 引用156篇文章[sw08510]
  • 规范和验证塞萨尔的并发系统。本文的目的是。。。单调谓词变换器的不动点。这个验证一个系统的关键在于获得。。。
  • 原因3

  • 引用128篇文章[sw04438]
  • 为什么3是演绎程序的平台验证. 它为规范提供了丰富的语言。。。自动和交互式校准仪验证条件。为什么3有一个标准库。。。用作验证C、Java或Ada程序。为什么3。。。
  • 布吉

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

  • 在184篇文章中引用[sw13461]
  • 正式的断言,允许正式的验证转换_系统_ , _第_二_个_变成_可_执行_程序_ …_
  • 咖啡馆

  • 引用166篇文章[sw06232]
  • CafeOBJ作为行为系统的工具验证. 我们在一个机器上支持的方法。。。
  • ETPS公司

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

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