Propese a real-time workflow time modeling and verification method based on timed automata.
提出一种基于时间自动机的实时工作流时间建模与验证方法。
The systems are usually described by the timed automata and the properties are specified by the temporal logic.
这类系统通常用时间自动机来表示,而它们的性质则用时序逻辑公式表示。
Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.
简要介绍了有限精度时间自动机(FPTA)的基本概念,重点讨论FPTA状态中时钟的表示。
In this paper an extension of timed automata with priorities is introduced, and we present an improved algorithm to compute subtraction on DBMs.
本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算d BM减法算法进行改进。
Specification and verification of real-time system based on timed automata consist of constructing its timed automata and verifying its property.
使用时间自动机对实时系统规范和验证,主要包括对实时系统建模即构造系统的时间自动机和安全可靠性验证。
In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
本文介绍了时间自动机和可达性分析算法,并对可达性分析算法中的后继算法进行了改进。
This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end.
本文简要介绍了时间自动机和时序逻辑TCTL,并着重说明了如何进行基于稠密时间的实时系统的模型检测,最后给出了一个应用实例。
They are very useful in protocol verifications. This paper presents some methods of protocol verification and uses KRONOS to verify FDDI to introduce the method of using timed automata.
文章介绍了网络协议验证的几种方法,并以KRONOS验证FDDI 协议为例说明了用时间自动机验证协议的方法。
This paper proposes a condition of timed tree automata recognizing language, proves the correctness of its.
本文提出了时间树自动机识别语言的一个条件,并证明了结论的正确性。
This paper surveys interface automata, timed interface automata, resource interface and game-based idea in them.
本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。
This paper surveys interface automata, timed interface automata, resource interface and game-based idea in them.
本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。
应用推荐