• 棱镜

  • 引用396篇文章[sw01186]
  • 与概率中写的规范相反世俗的 逻辑学PCTL和CSL。这个工具有三个特点。。。
  • 塞萨尔

  • 在154篇文章中引用[sw08510]
  • 分枝时间公式逻辑,的世俗的其运算符可以迭代计算。。。
  • 麦克马斯

  • 引用66篇文章[sw09463]
  • 多智能体系统的验证。同时世俗的 逻辑在它的各种形式已经证明是必要的。。。
  • 比查姆

  • 引用了40篇文章[sw09927]
  • 从中推断未知模型参数世俗的 逻辑限制。Biocham主要包括:一条规则。。。几个模拟器(布尔、微分、随机),一个世俗的 逻辑基于语言形式化世俗的属性。。。高维动力学参数世俗的 逻辑约束条件。Biocham是一个受保护的自由软件。。。
  • 超晶

  • 引用了55篇文章[sw06568号]
  • 使用方法世俗的 逻辑作为一种可执行的命令式语言。。。具体的框架,称为元项,用于执行世俗的公式,是激励和举例说明。。。与可执行文件的元项方法有关逻辑学...
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 用户提供的属性世俗的 逻辑. JPAX还可以分析程序。。。专业分析,如世俗的 逻辑验证,死锁分析和数据竞争。。。分析。世俗的 逻辑规范可以由用户在Maude重写中制定逻辑...逻辑,但这里扩展了可执行文件世俗的 逻辑. 然后启动Maude重写引擎。。。
  • TLA公司

  • 引用25篇文章[sw04442]
  • 代表世俗的 逻辑但它已经成为一种速记。。。
  • PG求解器

  • 引用23条[sw14051]
  • 以及模型检查)对于世俗的 逻辑学. 在这篇文章中,我们调查了实际的方面。。。
  • TRP公司++

  • 引用15篇文章[sw14679]
  • 命题线性时间的定理证明器世俗的 逻辑基于世俗的解析演算。。。命题的小句消解法世俗的 逻辑;创建一个实验环境来尝试不同的修改。。。
  • 斑点

  • 参考22篇文章[sw09473]
  • LTL(线性)转换世俗的 逻辑)进入TGBA。然后我们展示它是如何支持。。。
  • 佩索阿

  • 引用18条[sw20123]
  • 线性片段中的规格说明世俗的 逻辑足以表达有趣的。。。
  • 违反

  • 引用18条【sw20822】
  • 度量区间的鲁棒监控世俗的 逻辑(MITL)公式。违约范围的适用范围。。。
  • STeLP公司

  • 在10篇文章中引用【sw09772】
  • 编程使用世俗的操作员。把一种特殊的逻辑... 带模态运算符的程序(称为可拆分世俗的 逻辑程序),STeLP获得其世俗的... 允许简单定义世俗的 逻辑程序,包括一个特殊的操作语法。。。标准ASP解算器世俗的 逻辑模型检查器,以便找到。。。
  • 仙人掌

  • 引用15篇文章[sw02907]
  • 仙人掌被认为是一种世俗的 逻辑基于分支概念的程序设计语言。。。时间。仙人掌支持两个主要的操作符:世俗的“运算符优先”是指第一个。。。
  • 普维斯塔

  • 引用16条[sw08423]
  • PCTL/CSL,或(ii)QuaTEx定量世俗的 逻辑. 正如我们的实验所显示的,性能提高。。。
  • 临时雇员

  • 参考12篇文章[sw09989]
  • 世俗的一元校准器。一级世俗的 逻辑FOTL,是经典一阶。。。逻辑通过世俗的离散线性时间模型的算子(同构于ℕ,即。。。使用时间模型)。这个公式逻辑在与…相关的结构上被解释。。。