• 斑点

  • 22篇参考文献[SW0943]
  • LTL的简单(高效)翻译线性的 世俗的 逻辑进入TGBA。然后我们展示…
  • 佩索阿

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

  • 14篇参考文献[SW07214]
  • 符号算法,偏序约简线性的 世俗的 逻辑
  • 罗夫基因

  • 13篇参考文献[SW10954 ]
  • 模型,动态特性表示在线性的 世俗的 逻辑确定了不确定参数。
  • APNN工具箱

  • 11篇参考文献[SW0696]
  • 计算树逻辑(CTL)和线性的 世俗的 逻辑(LTL)考虑更一般的性质…
  • 斯特尔特

  • 10篇参考文献[SW0972]
  • 它允许一个简单的定义世俗的 逻辑程序,包括用于动作的特殊语法…标准ASP求解器线性的 世俗的 逻辑模型检查器以便找到…
  • TLPVS

  • 10篇参考文献[SW10024]
  • 目前我们的一个PVS实现线性的 世俗的 逻辑验证系统。该系统包括…
  • 马文

  • 10篇参考文献[SW07699]
  • 使用状态构造的状态机线性的 世俗的 逻辑(LTL)描述的假设,描述…
  • Trp++

  • 15篇参考文献[SW1467 9]
  • 命题定理证明器线性的时间世俗的 逻辑基于世俗的解析演算…
  • TTM

  • 8篇参考文献[SW11997 ]
  • 命题的定理证明器线性的 世俗的 逻辑称为PLTL。TTM允许您测试…
  • 郁金香

  • 8篇参考文献[SW2017]
  • 滚动时域软件工具箱世俗的 逻辑规划本文描述了郁金香,一个基于Python的…对一个表达子集的尊重线性的 世俗的 逻辑(LTL)规范。郁金香组合例程…
  • 目标

  • 7篇参考文献[SW21229 ]
  • Buchi自动机的定义与操作世俗的 逻辑公式。它还部分支持其他变种…它们与线性的 世俗的 逻辑学. 它也可以用来构造正确的…
  • LBTT

  • 7篇参考文献[SW29 42]
  • 翻译命题表达的公式线性的 世俗的 逻辑(LTL)到Bu chi自动机。目标…
  • 法帕斯

  • 4篇参考文献[ SW10957 ]
  • 分段仿射(PWA)系统的分析线性的 世俗的 逻辑(LTL)规范。具体来说,给出…
  • 临时雇员

  • 12篇参考文献[SW0989]
  • 经典一阶逻辑世俗的离散算子线性的时间模型(同构)使用的时间模型)。公式逻辑解释与…关联的结构。
  • 佩特里PDL语言

  • 3篇参考文献[SW150 81]
  • 在重写中提出了原型实现逻辑语言Maude,一个有界模型检查员…改写理论定义线性的 世俗的 逻辑模型检查器可用在莫德系统…
  • MC2

  • 5篇参考文献[SW1283]
  • 概率写的性质线性的时间世俗的 逻辑数值约束(PLTLC)。模型检验器…
  • LBT

  • 1篇参考文献[SW29 41]
  • 转换算法线性的 世俗的 逻辑广义Buchi自动机的公式。算法…自动验证线性的 世俗的 逻辑. PSTV’95,第十五国际协议规约,测试会议…子过程。它解析了一个线性的 世俗的 逻辑从标准输入和写入相应的广义…
  • KPB工作台

  • 2篇参考文献[SW19654 ]
  • 系统模型。框架支持两者线性的 世俗的 逻辑(LTL)与计算树逻辑