• 摩卡

  • 88篇参考文献[SW12935]
  • 用于系统规范的交互式软件环境验证. 摩卡的主要目标…设计中的结构不是破坏自动 验证. 摩卡是一种交通工具。
  • UPPAAL2K

  • 42篇参考文献[SW01595]
  • 用于建模、仿真和集成的工具环境验证实时系统,共同开发…UPPAAL2K.一个模型检查器自动 验证安全性和粘合活性属性的可达性…验证一个特定的实时系统失败。诊断痕迹可能是自动地加载。。。
  • 塞萨尔

  • 150篇参考文献[SW0810]
  • 谓词变压器这个验证一个系统是由自动翻译
  • 杰斯塔

  • 32篇参考文献[SW11261 ]
  • 基于程序中的最新理论发展验证它结合了抽象谓词的思想…在新的实施中自动 验证系统,称为JSTAR,它结合定理证明…
  • 塞加

  • 32篇参考文献[SW04605]
  • 风靡一时自动 验证在过去的几年里,非常大的系统…
  • D/dt

  • 35篇参考文献[SW10314]
  • 描述D/DT提供的工具自动安全验证具有线性连续性的混杂系统…
  • MCRL2

  • 50篇参考文献[SW01496]
  • 附带工具集,允许自动分析与验证系统…
  • 臀部

  • 23篇参考文献[SW0988]
  • 髋关节/光滑系统的目标是自动 验证堆操作程序的功能正确性…基于分离逻辑的自动化验证一个简单的命令语言系统,能够模块化验证…分离逻辑证明器光滑是完全的自动带框架推断的分离逻辑证明器
  • 高超声速

  • 316篇参考文献[SW04125]
  • 海特公司是一家自动嵌入式系统分析工具。HyTeCe计算条件…通过符号模型检验验证。如果验证失败,然后HyTeaT产生诊断错误…
  • 毫升

  • 491篇参考文献[SW01218]
  • 多态欣德利-米尔纳型系统自动地分配大多数表达式的类型而不需要…编译器编写、自动定理证明与形式化验证. (维基百科…
  • 无级变速器

  • 15篇参考文献[SW0952]
  • 代码验证工具(CVT)。自动 验证一个编译过程。我们描述了CVT——一个完全…自动用于代码验证的工具,即验证代码生成的目标代码…完全正式的可行替代方案验证代码生成器程序…
  • 裴楚丘

  • 15篇参考文献[SW0494]
  • Petri网翻译有助于自动 验证在这个班级的案例研究中…
  • FC2工具

  • 11篇参考文献[SW1286]
  • FC2工具集:一个工具集验证并发系统。FC2工具包,连同…在处理基于模型的软件中,自动 验证分布式通信系统。它是开发出来的…
  • 藜芦醇

  • 10篇参考文献[SW0949]
  • 提出一种方法自动 验证类似Java类的程序。基石…
  • 焦点

  • 19篇参考文献[SW01591]
  • FoCs自动从正式规范生成模拟检查器。在可预见的将来,工业硬件…设计中的仿真与模型检验验证过程。迄今为止,这些技术被应用…
  • 科瓦茨

  • 7篇参考文献[SW21472]
  • 程序等价及其应用自动 验证通过优化编译器执行的转换…
  • 不洁的

  • 6篇参考文献[SW13332 ]
  • 开源模型检查器,OPAL,用于自动 验证模型使用格自动机。格子自动机…
  • HMC

  • 6篇参考文献[SW09867 ]
  • Milner Cousots(HMC),一种减少算法验证高阶类型的安全性能…抽象解释,HMC使完全自动 验证用现代编程语言编写的程序…
  • 上旋

  • 12篇参考文献[SW0972]
  • 自动地修改自旋所采用的模型检验算法来利用这些对称性。验证
  • 推断

  • 9篇参考文献[SW20862]
  • 程序推断是新的自动程序验证旨在证明内存安全的工具…