• 符号自动机

  • 参考第4条[sw13262]
  • 工具箱。象征性的自动机工具箱提升经典自动机分析工作模丰富的字母表理论。。。最先进的约束求解器自动机既有表现力又有效率的分析。。。带寄存器的传感器。约束合成和最小化时使用求解自动机,还有很多。。。
  • 通过

  • 参考7篇文章[sw21858]
  • 向量或自动机(或它们的组合)对字符串建模,并减少字符串限制条件...
  • 税收

  • 引用21篇文章[sw01389]
  • 代码(尤其是约束条件). 上述需求推动了开发。。。时间的形式化模型自动机. 这个模型的选择允许使用结果。。。应用程序,一个带有时间注释的ESTEREL程序限制条件,TAXYS工具生成。。。
  • 速度

  • 引用5篇文章[sw11778]
  • 事件记录自动机,timed的子类自动机. 该算法基于前向。。。使用时钟的符号表示限制条件. 它构成了验证工具的核心。。。用于指定事件记录属性的逻辑自动机以适当的方式证明。。。
  • 斯皮迪

  • 参考7篇文章[sw00896号]
  • 矩形类自动机混合动力和混合动力自动机线性向量场。大多数实现的计算程序。。。借助于(向前或向后)传播限制条件,典型的(凸的并)多面体或椭球体。。。
  • 计算

  • 参考6篇文章[sw13098]
  • 原始集合的保守近似限制条件利用凸集的几何性质。。。混合动力系统有界模型检验生成自动机以及浮点软件的静态分析。。。
  • 拉夫特

  • 引用2篇文章[sw24485]
  • 操纵有限树自动机以及各种各样的解算器限制条件. 它的模块化设计。。。
  • StrSolve公司

  • 引用5篇文章[sw21857]
  • 关于输入的大小限制条件特别是与其他当代技术相比。。。基于自动机代表性。我们通过比较。。。
  • 里拉

  • 参考7篇文章[sw21270]
  • 里拉:处理限制条件关于整数和实数的线性算法。机械化。。。实施基于lira的决策工具自动机-一阶逻辑之理论技巧。。。
  • 利奈格

  • 参考6篇文章[sw10316]
  • 线性混合验证算法自动机具有大的离散状态空间(其中。。。状态空间遍历是冗余消除和约束最小化:冗余消除消除消除所谓的冗余。。。
  • 牦牛

  • 引用2篇文章[sw07540号]
  • 用于指定的一阶逻辑的Yacc限制条件它们是普通的树语言。简明公式。。。通过树转化为规范的属性语法自动机计算。牦牛被实现为一个预处理器。。。
  • 时间4sys2imi

  • 1条引用[sw31184]
  • 将Time4sys模型转换为参数定时的工具自动机在模仿者的输入语言中。这个。。。但也可以推断出限制条件补偿(保证OTS的可调度性)。我们成功地。。。
  • 沃杜

  • 1条引用[sw06300]
  • 并满足一组时间限制条件给出UML序列图。前面。。。翻译成时间的形式主义自动机. 该工具生成时态逻辑查询,它依赖于。。。
  • 海拉

  • 引用2篇文章【sw20821】
  • 混合动力系统等效可达性仿真工具自动机仿射动力学。HyLAA的分析。。。一些新的性能增强,如不变量约束消除,热启动线性规划,和跟踪。。。
  • 雅克

  • 引用2篇文章[sw17046]
  • 在任意限制条件控制解析。这些设施允许。。。将语法编译为非确定性自动机. 这些自动机有点像传统的堆栈推送。。。
  • Z3str2型

  • 引用2篇文章[sw30520]
  • 字符串、正则表达式和长度的解算器限制条件. 近年来,弦解算器已经成为。。。例如基于单词、位向量或自动机). 结果表明,该方法的有效性。。。
  • WNetKAT公司

  • 1条引用[sw25228]
  • 固有权重,通信受限于容量限制条件例如,在带宽方面。。。有限加权等价问题自动机这意味着前者的不可判定性。然而,这。。。
  • 灰姑娘

  • 在141篇文章中引用[sw00127]
  • 交互式几何软件。除了支持动态。。。