• 洛特雷克

  • 引用25篇文章[sw07684]
  • 策略。它的目的是覆盖所有克里普克-语义的基于逻辑。它是用Java实现的。。。
  • 姆兰科普

  • 参考6篇文章[sw21522]
  • 附加的前缀统一,它捕获克里普克 语义学不同模态逻辑。MleanCoP被实现。。。
  • VPM公司

  • 参考11篇文章[sw07364]
  • 从UML模型到语义的域(Petri网,克里普克自动机,过程代数。。。时间。然而,这样的转变成了不同的语义的领域通常需要深入了解。。。
  • 前额

  • 1条引用[sw20016]
  • 指称的语义学对于这个新的接口,和一种技术(使用克里普克逻辑关系)用于推理。。。
  • ACTLW公司

  • 参考7篇文章[sw21031]
  • 用于表示的系统克里普克结构。这是部分。。。过渡系统的动作与逻辑,在:语义学同时进行的程序系统,诉讼程序。。。
  • Petri-PDL

  • 引用3篇文章[sw15081]
  • 用形式化方法评估并发系统语义学有可能证明他们。。。按照克里普克模型作为重写理论定义的线性。。。
  • 达夫尼

  • 引用64篇文章[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 伊莎贝尔

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

  • 引用406篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • SQEMA公司

  • 在38篇文章中引用[sw03056]
  • 模态逻辑中的算法对应性和完备性。四、 。。。