• 棱镜

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

• 克洛诺斯

• 引用259篇文章[sw01270]
• 实时表达世俗的 逻辑TCTL。。。

• 塞萨尔

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

• 麦克马斯

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

• 比查姆

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

• 超晶

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

• JPAX公司

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

• BPEL2oWFN公司

• 27条引用[sw06956]
• 或检查任何世俗的 逻辑公式与各种模型检查。。。

• Cadence SMV公司

• 27条引用[sw07795]
• 这样你就可以正式验证世俗的 逻辑有限状态系统的性质，如。。。

• TLA公司

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

• PG求解器

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

• TRP公司++

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

• 斑点

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

• 偿付能力资本要求

• 引用19篇文章[sw06939]
• 成功。这是一阶的轻微延伸逻辑允许我们增加可读性。。。简单，避免了世俗的 逻辑...

• 佩索阿

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

• 违反

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

• STeLP公司

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

• 仙人掌

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

• 普维斯塔

• 引用16条[sw08423]
• PCTL/CSL，或（ii）QuaTEx定量世俗的 逻辑. 正如我们的实验所显示的，性能提高。。。

• 临时雇员

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