• 克洛诺斯

  • 引用263篇文章[sw01270]
  • 真实的-时间系统由定时 自动机并给出了正确性要求。。。
  • 埃斯特雷尔

  • 在163篇文章中引用[sw20012]
  • 编程反应式系统,包括real-时间系统与控制自动机. Esterel v5编译器。。。
  • 验证

  • 参考33篇文章[sw02011]
  • 用于自动验证的原始工具定时 自动机在一个子集里写的协议。。。原始中间语言(IL),或定时 自动机在Kronos的格式中可以使用。。。规范可以转换为定时 自动机,传递给其他Verics组件。。。将可达性问题转换为定时 自动机对于命题公式的可满足性问题。。。
  • LTL2BA

  • 参考文献99篇[sw10956]
  • 生成Büchi的算法自动机从线性时间逻辑(LTL)公式。此算法生成。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 基于扩展的中间表示语言定时 自动机. 特别是,这种陈述允许。。。
  • 特雷克斯

  • 引用46篇文章[sw01388]
  • 自动分析工具自动机-基于模型的变量属于不同的无限/有限。。。目前时间,参数化(连续-时间)定时 自动机,用整数计数器和有限域变量扩展。。。
  • 梅花

  • 引用19篇文章[sw07155]
  • 非确定性安全方法定时 自动机. 本文介绍了ioco的基本算法。。。标准安全性的必要修改定时 自动机为了使它们可用作输入形式。。。测试派生算法定时 自动机以及在TorX中实现的具体算法定时...
  • 罗密欧

  • 在26篇文章中引用[sw00812]
  • 执行从TPN到定时 自动机(TAs)保留了行为语义(定时双重相似性。。。
  • 模仿者

  • 27条引用[sw00439]
  • 参数网络的形式主义定时 自动机,增加了整数变量和秒表。它实现了。。。
  • 兔子

  • 引用24篇文章[sw01317]
  • 时间系统。建模语言是定时 自动机扩展了模块化建模的概念。。。
  • 税收

  • 引用21篇文章[sw01389]
  • 的形式模型定时 自动机. 这个模型的选择允许使用结果。。。另一方面定时应用程序的模型。这个模型。。。
  • 塔帕尔

  • 17条引用[sw00947]
  • 网络的Petri网模型定时 自动机并使用UPPAAL引擎。。。
  • 辛西娅

  • 引用8篇文章[sw12933]
  • Synthia:验证和合成定时 自动机. Synthia是第一个认证模型检查器。。。时间系统建模为定时 自动机. Synthia的关键创新。。。未实现的部分。在分析定时 自动机主要的技术挑战是如何有效地。。。
  • 乌帕阿尔科拉

  • 引用9篇文章[sw25660号]
  • 美泰主义项目。而UPPAAL使用定时 自动机作为其建模语言,UPPAAL CORA使用线性。。。定价定时 自动机(LPTA)。给出一个LPTA模型,UPPAAL CORA找到了最优路径。。。目标条件。这可以显著降低时间找到一个好的。。。
  • 验证

  • 参考6篇文章[sw09464]
  • erics:一个验证工具定时 自动机以及埃斯特尔规范。文章介绍了。。。自动验证工具定时 自动机以及规范中写的协议。。。从Estelle规范自动转换为定时 自动机和两种互补的可达性分析方法。。。
  • 驯服

  • 引用5篇文章[sw28703]
  • 特殊目的定理证明。驯服(定时 自动机建模环境),定理证明的接口。。。自动机:输入/输出自动机林奇·瓦德拉格定时 自动机,和SCR自动机. TAME提供用于指定。。。
  • 蛋白石

  • 参考7篇文章【sw13332】
  • 基于格点的模型验证自动机. 格子自动机允许用户合并摘要。。。支持UPPAAL的一个子集定时 自动机用格特征扩展的语言。我们报告。。。
  • 收缩技术

  • 引用4篇文章[sw11890]
  • 鲁棒性分析工具定时 自动机. 我们提供了一个工具来提高鲁棒性。。。分析定时 自动机它可以检查时间-抽象行为。。。
  • 速度

  • 引用5篇文章[sw11778]
  • 事件记录自动机,的一个子类定时 自动机. 该算法基于前向。。。开发一个真实的-时间用于指定事件记录属性的逻辑自动机在一个合适的。。。