For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
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 presents a reachability model of VSR&DO based on network, and proposes a model to estimate the reachability of VSR&DO, which based on the analysis of the process of VSR&DO model.
本文以建立面向网络的虚拟软件研发组织过程建模为目标，在分析虚拟软件研发组织运作过程特性的基础上，提出了一种虚拟软件研发组织过程模型，并对其软件研发项目的可达性进行了研究。
This paper presents a reachability model of VSR&DO based on network, and proposes a model to estimate the reachability of VSR&DO, which based on the analysis of the process of VSR&DO model.
本文以建立面向网络的虚拟软件研发组织过程建模为目标，在分析虚拟软件研发组织运作过程特性的基础上，提出了一种虚拟软件研发组织过程模型，并对其软件研发项目的可达性进行了研究。
应用推荐