• 努西姆

  • 引用299篇文章[sw04131]
  • 努西姆是一个符号模型检查器开发的联合项目:嵌入式系统。。。特伦托大学机械化推理小组。努西姆是一个重新实现和扩展。。。第一个基于BDDs的模型检查器。努西姆被设计成一个开放的体系结构。。。
  • 奎托斯

  • 参考7篇文章[sw07808]
  • 线程。奎托斯建在努西姆和MathSat,使用国家。。。
  • 阿斯梅塔斯姆夫

  • 引用3篇文章【sw16843】
  • 高级ASM模型到低级别努西姆规范。本文介绍了一个模型AsmetaSMV。。。使用模型检查器的功能努西姆要验证写入的ASM模型的属性。。。自动将ASM模型映射到努西姆程序。作为概念的证明。。。
  • 皮努西夫

  • 引用2篇文章[sw12293]
  • 基于努西姆. 它可以进入主管道努西姆功能,比如。。。模型和BDD操作,同时隐藏努西姆通过向努西姆功能。。。数据结构。特别地,努西姆模型可以被读取、解析和编译,提供完全的访问权限。。。
  • kPWorkbench公司

  • 引用2篇文章[sw19654]
  • 利用旋转和努西姆模型跳棋。定义了一种属性语言,包括。。。SPIN和的形式语法努西姆公式自动生成。。。
  • TSMV

  • 引用2篇文章[sw13326]
  • 系统。TSMV是努西姆,开源符号模型检查器,目的是。。。
  • 可编程逻辑控制器

  • 1条引用[sw14776]
  • 著名的符号模型检查系统努西姆. 由于PPTL具有完全规则的表达能力。。。PPTL扩展了努西姆系统状态敏感,并发。。。
  • FSMC公司+

  • 1条引用[sw30245]
  • Statecharts并生成相应的Java和努西姆代码(努西姆是否开发了模型检查器。。。
  • NuSMV3

  • 1条引用[sw09572]
  • NuSMV3,扩展版努西姆符号模型检查器。。。
  • 风投

  • 1条引用[sw29446]
  • 运行速度比努西姆对于各种各样的例子。。。
  • 超小卫星

  • 引用549篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 旋转

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

  • 在38篇文章中引用[sw04648号]
  • SATIRE:一种新的增量可满足性引擎。我们介绍。。。
  • 引用了574篇文章[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔可满足性。。。