• 麻糬

  • 参考11篇文章[sw21478]
  • 奥卡姆。摩奇是基于较高的-秩序 模型 检查谓词抽象和CEGAR(请看这个。。。
  • 旅行车2

  • 引用4篇文章[sw20008]
  • 旅行车2:较高的-秩序 模型 检查对于交替奇偶树自动机。较高的...秩序 模型 检查问题是模型 检查(可能)由较高的...秩序递归方案(HORS)。HORS是一种自然的抽象模型功能程序,和HORS。。。在之前的工作中,我们提出了一个较高的-秩序 模型checker,TravMC2,它支持使用。。。
  • TravMC公司

  • 引用2篇文章[sw09396]
  • 模型 检查.较高的-秩序 模型 检查-在模型 检查较高的-秩序... 作为软件的基础模型 检查对于函数式语言,例如。。。哈斯凯尔。本文介绍了较高的-秩序带事例的递归方案(HORSC),它扩展了。。。通用HORSC的研究模型 检查确定性平凡自动机的问题:自动机。。。
  • TRecS公司

  • 引用2篇文章[sw14145]
  • 模型检查较高的-秩序递归方案,它需要一个较高的-秩序递归方案。。。由A.接受模型 检查的问题较高的-秩序递归方案已经被证明。。。较高的-秩序 模型棋盘格。它使用基于类型的模型 检查提出的算法。。。发现地点:小林直木,模型 检查 较高的-命令程序,JACM。。。
  • 贝德维尔

  • 引用21篇文章[sw09460]
  • 顺序演算可以捕捉到简单模型 检查问题以及可能和必须的行为。。。操作语义学。第二个是较高的-秩序抽象语法是直接支持使用术语。。。
  • C-肖尔

  • 引用5篇文章[sw13319]
  • 较高的-秩序使用HORS的一些新的验证技术的功能程序模型-检查...
  • 雷神

  • 1条引用[sw14146]
  • 算法检查生成的树的CTL属性较高的-秩序递归方案,它。。。基于小林交叉口类型的扩展模型 检查技术。我们展示了一个实现。。。
  • 荷马

  • 引用5篇文章[sw13321]
  • 较高的-命令观测等效模型检查人员。我们提出了荷马,一个观察等价物模型检查器。。。秩序迭代增广的理想化算法片段。它首先翻译术语。。。如此健全和完整;因为它模型 检查开放条件下,我们的方法也是组合的。。。
  • 辛提卡的世界

  • 1条引用[sw31988号]
  • 显示智能人工智能体较高的-秩序知识(a知道b知道。。。用于:学习模态逻辑,模型 检查学习和满足问题;学习模型动态认知。。。
  • 穆努森

  • 1条引用【sw35284】
  • 从-ν超对称标准模型(μνSSM)。代码包含了对中性点的辐射修正。。。全单回路电平。可观的较高的-秩序准确预测所需的修正。。。实施。这为检查对撞机约束的基准点。。。观测值的计算和对模型参数。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

  • 引用2874篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 伊莎贝尔

  • 在606篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 数学软件

  • 引用5933篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。