• 棱镜

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

• 克洛诺斯

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

• 塞萨尔

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

• 麦克马斯

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

• 比查姆

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

• 超晶

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

• JPAX公司

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

• PG求解器

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

• BPEL2oWFN公司

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

• Cadence SMV公司

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

• TLA公司

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

• 斑点

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

• 违反

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

• TRP公司++

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

• 佩索阿

• 引用了20篇文章[sw20123]
• 线性片段中的规格说明世俗的 逻辑足以表达有趣的。。。

• S-塔利罗

• 引用了20篇文章[sw09775]
• 塔利罗：一种用于世俗的 逻辑混合动力系统的证伪。S-TaLiRo是一个Matlab。。。

• 偿付能力资本要求

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

• LTSmin公司

• 引用18条[sw07214]
• 算法），偏序约化和线性化世俗的 逻辑...

• STeLP公司

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

• 视觉

• 17条引用[sw40003]
• 验证，如语言包容和世俗的 逻辑模型检查。VIS能够合成。。。