• 棱镜

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

• 克罗诺斯

• 256篇参考文献[SW01270]
• 实时表达世俗的 逻辑TCTL…

• 塞萨尔

• 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]
• 线性分段中的规范世俗的 逻辑这足以表达有趣的…