• 符号自动机

  • 4篇参考文献[SW13262]
  • 工具包。象征性的自动机工具包提升经典自动机分析富模字母表的工作原理…最先进的约束求解器自动机分析既有表现力又有效率。具有寄存器的换能器。约束解决在构图和最小化时使用自动机还有很多…
  • 通过

  • 6篇参考文献[SW21858]
  • 向量或自动机(或它们的组合)对字符串进行建模,并减少字符串约束条件
  • 出租汽车

  • 21篇参考文献[SW01389]
  • 代码(特别是尊重时间)约束条件上述要求推动了……的发展。定时的形式化模型自动机. 这个模型的选择允许使用结果…应用程序,用时间标注的Atter程序约束条件出租车工具生产…
  • 速度

  • 5篇参考文献[SW11778]
  • 事件记录自动机一个定时的子类自动机. 该算法基于前向…使用时钟的符号表示约束条件. 它是验证工具的核心。指定事件记录属性的逻辑自动机以适当的方式证明…
  • 斯皮迪

  • 7篇参考文献[SW0896]
  • 矩形类自动机杂种自动机线性向量场。大多数实现的计算程序…(向前或向后)传播约束条件,通常(凸的结合)多面体或椭球…
  • RAHFT

  • 2篇参考文献[SW2485]
  • 有限树操作自动机以及各种推理者约束条件. 它的模块化设计…
  • 卡尔卡

  • 5篇参考文献[SW13098]
  • 原集的守恒近似约束条件利用凸集的几何性质…混合模型有界模型检验生成自动机以及浮点软件的静态分析…
  • 4篇参考文献[SW21857 ]
  • 尊重输入的大小约束条件,特别是与其他现代技术相比…基于AN的懒散搜索空间自动机表示。我们通过比较经验评估我们的方法…
  • 里拉

  • 7篇参考文献[SW21270]
  • 里拉:处理约束条件关于整数和Reals的线性算术。机械化…工具LIRA实现基于自动机一阶逻辑的理论方法与…
  • 利奈格

  • 6篇参考文献[SW10316]
  • 线性混合系统的验证算法自动机具有大的离散状态空间(其中…状态空间遍历是冗余消除。约束最小化:冗余消除消除所谓的冗余…
  • 雅克亚克

  • 2篇参考文献[SW0740]
  • 一阶逻辑用于指定的YACC约束条件那是正规的树语言。简洁的公式…通过树变为规范属性文法自动机计算。YAKYAK作为预处理器实现…
  • Time4Sys2imi

  • 1篇参考文献[SW31 184]
  • 将时间4SyS模型转换成参数定时自动机在模仿者的输入语言中。系统,但也推断一些时间约束条件(期限,偏移量(LDOTS))保证可调度性。我们成功了…
  • 沃杜

  • 1篇参考文献[SW06300 ]
  • 满足一组通信和定时约束条件给出了UML序列图。前面…翻译成时间的形式主义自动机. 该工具生成时序逻辑查询,依赖于…
  • 雅克

  • 2篇参考文献[SW17046]
  • 在任意范围内使用这种绑定约束条件控制解析。这些设施允许…将文法编译成非确定性自动机. 这些自动机是基于堆栈,有点像传统推…
  • Z3STR2

  • 2篇参考文献[SW30520]
  • 字符串、正则表达式和长度的求解器约束条件. 近年来,字符串求解器已成为…例如,基于单词、位向量或自动机结果表明疗效。
  • 海拉

  • 1篇参考文献[SW20821]
  • 模拟混合等效可达性工具自动机仿射动力学。HyLAA的分析…一些新的性能增强,如不变量约束消除,暖启动线性规划,和跟踪…
  • 威尼卡特

  • 1篇参考文献[SW25228 ]
  • 固有加权和通信容量约束条件(例如,带宽方面)和成本…加权有限的等价问题自动机这意味着前者的不可判定性。然而,这个…
  • 辅酶Q

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