• 裂口

  • 17篇参考文献[SW20822]
  • 度量的鲁棒监控间隔 世俗的 逻辑(MITL)公式。违反范围的应用领域…
  • IDL有效性

  • 10篇参考文献[SW20417]
  • 持续时间演算是一个密集的时间。间隔 世俗的 逻辑允许测量的构造…一个命题在某一时刻成立间隔.间隔持续时间逻辑是它的变体…
  • RGITL

  • 5篇参考文献[SW13917]
  • 依靠保证间隔 世俗的 逻辑(RGITL)。这个逻辑基于间隔 世俗的 逻辑
  • QTL求解器

  • 2篇参考文献[SW14602]
  • 定量/度量的可满足性检验间隔 世俗的 逻辑(MITL/QTL)
  • 马西埃

  • 8篇参考文献[SW1282]
  • 世俗的 逻辑学. 有界Petri网模型的MARCIE分析引擎是基于间隔
  • 哈斯尔

  • 6篇参考文献[SW13330]
  • 自动机随机性逻辑(HASL),一个新的世俗的 逻辑离散事件验证的形式主义发动机被用来获得信心-间隔期望值的估计…HASL提供了一个统一的验证框架世俗的推理自然地与精心的奖励相结合…
  • 宇宙

  • 5篇参考文献[SW13329 ]
  • 混合自动机随机模型检验器逻辑(HASL)。HASL采用线性混合自动机…统一框架世俗的推理自然与精巧的奖励分析相结合。宇宙…估计。它恢复了信心间隔Z.COSMOS的估计被写入…
  • 辅酶Q

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

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

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

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