• 塞萨尔

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

  • 15篇参考文献[SW02907]
  • 提议作为世俗的 逻辑基于编程语言分支时间观念。仙人掌…支持两个主要运营商:世俗的算符第一,指的是第一个瞬间…
  • 急性淋巴细胞白血病

  • 7篇参考文献[ SW21031 ]
  • ACTLW——一种基于动作的计算树逻辑与除非操作符。代表系统的模型检查器…基于行动的命题分支时间世俗的 逻辑增强流行计算树的ACTLW逻辑
  • VMC

  • 5篇参考文献[SW0945]
  • 基于动作和状态的分支时间世俗的 逻辑过多的产品和家庭…
  • MCK

  • 27篇参考文献[SW09465 ]
  • 模型检验方法的多样性逻辑知识。这个模型的新颖性…观察。线性和分支时间世俗的支持运算符。早期版本的MCK是…
  • XTL

  • 4篇参考文献[SW21954]
  • 通常用于实施世俗的 逻辑算子,通过描述它们的不动点语义…图:例如,它可以计算分支图的因子,打印它的列表…
  • 聚乙二醇

  • 2篇参考文献[SW0498]
  • 旋转集中于验证分支或线性时间世俗的性质,分别表现为…建模语言,选择不同的语言逻辑学并根据需要验证方法。现在…
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 伽利略

  • 13篇参考文献[SW0316]
  • 伽利略:一种用于动态故障树分析的工具
  • Gap

  • 2702篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • MATLAB

  • 11446篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 520篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • R

  • 7603篇参考文献[SW071]
  • R是一个统计的语言和环境。