• 莫纳

  • 参考文献118篇[sw06170]
  • 年,包括配方奶粉减量,达格化,指导 自动机基于三值的热切逻辑。。。
  • 廷布克

  • 引用46篇文章[sw06351]
  • 术语重写系统和操作 自动机(自下而上非确定性有限 自动机... 全新版本的 自动机用于可达性分析的完成引擎。老廷巴克尔。。。用于基本操作的Caml函数 自动机字母表,术语,术语重写系统。。。
  • XDuce公司

  • 参考第54条[sw12436]
  • 规则基础理论 自动机,并给出一个完整的形式定义。。。
  • 幻灯片

  • 17条引用[sw28542]
  • 具有归纳定义的滑动分离逻辑。自动机-基于归纳逻辑的归纳分离检查。。。递归数据结构的归纳定义(列表,,以及更多)。基本特点:声音完整。。。建在瓦塔之上 自动机图书馆。。。
  • 瓦塔

  • 参考7篇文章[sw09917]
  • 非确定性的有效操纵 自动机. 在这篇文章中,我们呈现了一个多才多艺的。。。高效的开源 自动机适用于库,例如,在正式验证中。图书馆同时支持。。。非确定性有限元的符号编码 自动机并提供标准操作的有效实施。。。半符号编码用于 自动机有大字母的。为了储存他们的转变。。。
  • MTBDD公司

  • 引用5篇文章[sw12873]
  • 非确定性的有效操纵 自动机. 在本文中,我们介绍了VATA,一个通用的。。。高效的开源 自动机适用于库,例如,在正式验证中。图书馆同时支持。。。非确定性有限元的符号编码 自动机并提供标准操作的有效实施。。。半符号编码用于 自动机用大字母。为了储存他们的转变。。。
  • 比希德

  • 引用9篇文章[sw12667]
  • 相位使用有限变量 自动机执行一次扫描。。。
  • VMTRAC2型

  • 参考第4条[sw20008]
  • 交替奇偶校验的序模型检验 自动机. 高阶模型检验是问题。。。检查使用普通 自动机i、 布埃奇 自动机所有的。。。支持使用交替奇偶校验指定的属性 自动机(或等效的一元二阶逻辑。。。
  • 树自动机

  • 引用3篇文章[sw28835]
  • 自动机:本作品展示了一台经过检查的机器 自动机标准ML库,OCaml库。。。类似RB的结构-. 非确定性问题的现有算法自动机包括成员查询,减少。。。包含类的形式化-正则语言及其闭式性质在。。。
  • 森林火灾

  • 参考第4条[sw00304]
  • 关于工具包的报告 自动机和算法接受,模式匹配。。。www.fastar.org},包含大约50个算法和自动机构造。。。
  • 拉夫特

  • 引用2篇文章[sw24485]
  • 使用抽象解释和有限解释的小句 自动机. 我们提出了Rahft(提炼抽象。。。使用有限的Horn子句 自动机),一个用于验证安全属性的抽象求精工具。。。域,一个操作有限的工具 自动机以及各种用于推理约束的解算器。。。
  • 牦牛

  • 引用2篇文章[sw07540号]
  • 通过 自动机计算。牦牛被实现为一个预处理器。。。其中的跃迁 自动机合并到动作代码中。。。
  • 致命的

  • 引用2篇文章[sw09918]
  • 用于处理有限还有树篱自动机. 它支持多种多样。。。开始很快。有限概念 自动机是为了检查...
  • 利巴塔

  • 1条引用[sw33005]
  • 非确定性有限有效操作()自动机. libvata是一个高度优化的非确定性。。。有限的 自动机图书馆。图书馆的主要重点是利用。。。有两种支持的编码 自动机图书馆支持:显式和半。。。几种形式化验证技术 自动机例如,在程序验证的背景下。。。
  • 丽莎

  • 1条引用[sw30492]
  • 将数据类型转换为 自动机. 我们已经实现了LISA,一个基于。。。
  • 帕特曼

  • 参考第4条[sw29584]
  • 实现非确定性自动机关键词匹配算法搜索字符串。。。
  • TravMC公司

  • 引用2篇文章[sw09396]
  • 订单模型检查由高阶递归方案(HORS。。。确定性平凡问题自动机:自动机是否接受语言。。。
  • GBDD

  • 1条引用[sw15451]
  • 使用有限自动机. 最近,这些技术也被应用到有限元计算中...
  • 雷杰克斯

  • 1条引用[sw31124]
  • 从正则表达式到确定性自动机G.Berry和R.Sethi。理论计算机科学。。。使用智能数据结构(Hash consing,Patricia)感谢让-克里斯托夫·菲利特。文档。。。