-
验证
- 参考33篇文章[sw02011]
- 用于自动验证的原始工具定时 自动机在一个子集里写的协议。。。原始中间语言(IL),或定时 自动机在Kronos的格式中可以使用。。。规范可以转换为定时 自动机,传递给其他Verics组件。。。将可达性问题转换为定时 自动机对于命题公式的可满足性问题。。。
-
特雷克斯
- 引用46篇文章[sw01388]
- 自动分析工具自动机-基于模型的变量属于不同的无限/有限。。。目前时间,参数化(连续-时间)定时 自动机,用整数计数器和有限域变量扩展。。。
-
梅花
- 引用19篇文章[sw07155]
- 非确定性安全方法定时 自动机. 本文介绍了ioco的基本算法。。。标准安全性的必要修改定时 自动机为了使它们可用作输入形式。。。测试派生算法定时 自动机以及在TorX中实现的具体算法定时...
-
税收
- 引用21篇文章[sw01389]
- 的形式模型定时 自动机. 这个模型的选择允许使用结果。。。另一方面定时应用程序的模型。这个模型。。。
-
辛西娅
- 引用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]
- 事件记录自动机,的一个子类定时 自动机. 该算法基于前向。。。开发一个真实的-时间用于指定事件记录属性的逻辑自动机在一个合适的。。。