• 亚森

  • 参考12篇文章[sw09470]
  • 模型检查器基于计数器-例子 引导的 抽象 精炼(CEGAR)[6]框架。一个数字。。。
  • 蛋白石

  • 参考7篇文章【sw13332】
  • 使用类似于计数器-例子 引导的 抽象 精炼. 蛋白石引擎支持。。。
  • 活力

  • 在38篇文章中引用[sw01037]
  • Zing是一个软件模型检查项目。。。
  • 爆炸

  • 引用127篇文章[sw02937]
  • 爆炸(伯克利懒惰)抽象软件验证工具)是。。。
  • 旋转

  • 引用716篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • R溶剂

  • 引用71篇文章[sw04334]
  • RSolver是一个解决量化不等式的程序。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 使用Bandera工具集进行模型检查。。。
  • 奎托斯

  • 参考7篇文章[sw07808]
  • 奎托斯:SystemC的软件模型检查器。他。。。
  • 野兔

  • 引用4篇文章[sw10938]
  • 基于混合自动机的矩形混合系统CEGAR。。。
  • 撒旦

  • 在39篇文章中引用[sw12804]
  • SATABS:基于SAT的谓词抽象对于ANSI-C。。。