• CADP

  • 引用130篇文章[sw04993]
  • CADP(“分布式过程的构造和分析”,以前称为“凯撒/阿尔德巴兰开发包…”。。。通信协议和分布式系统的设计。CADP是由VASY团队开发的。。。阿尔卑斯山与各种辅助工具相连。CADP维护、定期改进和使用。。。
  • LTSmin公司

  • 引用18条[sw07214]
  • 包括SpinJa版本,NIPS,CADP还有蛋白石。此外,它允许重用现有的工具。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • Exp.open2.0,一个新的工具Cadp包含多个功能的验证工具箱。第一。。。第二,与其他工具Cadp,Exp.open2.0允许状态空间生成。。。
  • 引用4篇文章[sw10581]
  • 格式(例如CADP或者棱镜。。。
  • 精炼厂

  • 引用3篇文章[sw24290]
  • 现有模型检查工具集mCRL2和Cadp,从而形成完整的模型检查方法。。。
  • 爆炸

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

  • 引用712篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • 努西姆

  • 引用298篇文章[sw04131]
  • NuSMV是一个符号模型检查器,它是作为。。。
  • 班德拉

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