• 棱镜

  • 390篇参考文献[SW01186]
  • 针对概率写的规范世俗的 逻辑学PCTL和CSL。该工具的特点是三…
  • 塞萨尔

  • 150篇参考文献[SW0810]
  • 分支时间公式逻辑, the世俗的其中的算子可以迭代计算…
  • 比查姆

  • 40篇参考文献[ SW099 27 ]
  • 从未知模型参数推断世俗的 逻辑约束条件。BioCHAM主要由:一个规则…几个模拟器(布尔,微分,随机),A世俗的 逻辑基于语言的形式化世俗的性能高维动力学参数世俗的 逻辑约束条件。BioCHAM是一个免费软件保护…
  • 麦克马斯

  • 64篇参考文献[SW09463]
  • 多智能体系统的验证同时世俗的 逻辑其各种形式已证明是必不可少的…
  • 梅塔姆

  • 55篇参考文献[SW06568]
  • 使用方法世俗的 逻辑作为可执行命令语言被引入…混凝土框架,称为METATEM,用于执行世俗的公式,动机和说明通过实例…关于可执行文件的元方法逻辑学
  • JPAX

  • 29篇参考文献[SW09906]
  • 用户提供的属性制定世俗的 逻辑. JPAX还可以分析程序…专业化分析,如世俗的 逻辑验证、死锁分析和数据竞争…分析世俗的 逻辑在Maude重写中,用户可以制定规范。逻辑逻辑,但这里扩展了可执行文件世俗的 逻辑. 然后,Maude重写引擎被激活…
  • BPEL2OWFN

  • 27篇参考文献[SW06956]
  • Petri网属性,或检查任何世俗的 逻辑公式与各种模型检查…
  • Cadence SMV

  • 27篇参考文献[SW0795]
  • 允许您正式验证世俗的 逻辑有限状态系统的性质,例如…
  • TLA

  • 25篇参考文献[SW044 42]
  • 代表着世俗的 逻辑的行动,但它已成为一个速记…
  • PGSOVER

  • 23篇参考文献[SW1405]
  • 作为模型检查)世俗的 逻辑学. 在本文中,我们调查的实际方面…
  • Trp++

  • 15篇参考文献[SW1467 9]
  • 命题线性时间的定理证明器世俗的 逻辑基于世俗的解析演算…命题的分句解析法世俗的 逻辑创建实验环境尝试不同的修改…
  • 斑点

  • 22篇参考文献[SW0943]
  • LTL(线性)的高效翻译世俗的 逻辑进入TGBA。然后,我们展示它如何支持…
  • 可控硅

  • 19篇参考文献[SW06939 ]
  • 苏克一阶的轻微扩展逻辑让我们增加可读性…简单且避免了复杂性世俗的 逻辑
  • 斯特尔特

  • 10篇参考文献[SW0972]
  • 编程与世俗的运算符。作为一种特殊的输入逻辑带模态算子的程序(称为可拆分)世俗的 逻辑程序),STELP获得其集合世俗的它允许一个简单的定义世俗的 逻辑程序,包括用于动作的特殊语法…标准的线性规划ASP求解器世俗的 逻辑模型检查器以便找到…
  • 裂口

  • 17篇参考文献[SW20822]
  • 度量区间的鲁棒监控世俗的 逻辑(MITL)公式。违反范围的应用领域…
  • 仙人掌

  • 15篇参考文献[SW02907]
  • 仙人掌已被提议为世俗的 逻辑基于分支概念的程序设计语言…时间仙人掌支持两个主要运营商:世俗的操作员首先指的是第一个…
  • 佩斯塔

  • 16篇参考文献[SW08423 ]
  • PCTL/CSL,或(ii)QuATEX定量世俗的 逻辑. 实验结果表明:
  • 临时雇员

  • 12篇参考文献[SW0989]
  • 世俗的单极证明器一阶世俗的 逻辑FoTL,是经典一阶的延伸。逻辑世俗的离散时间线性模型的算子(同构),即…使用的时间模型)。公式逻辑解释与…关联的结构。
  • 佩索阿

  • 15篇参考文献[SW2013]
  • 线性分段中的规范世俗的 逻辑这足以表达有趣的…