文章基本信息

标题：Equivalent States Search Algorithm for Models with Continuous Time
本地全文：下载
作者：Dalius Makackas ; Regina Misevičiene
期刊名称：Baltic Journal of Modern Computing
印刷版ISSN：2255-8942
电子版ISSN：2255-8950
出版年度：2015
卷号：3
期号：4
页码：225-233
出版社：Vilnius University, University of Latvia, Latvia University of Agriculture, Institute of Mathematics and Informatics of University of Latvia
摘要：Verifying correctness of real time systems, reachable states analysis method is amply developed and used. However, this method described in scientific literature cannot avoid the endless increase of reachable state space. This paper presents an equivalent nodes search algorithm enabling to reduce the number of nodes in the reachable states graph. The application of this algorithm allows transforming the graph of the infinite reachable states into the graph with the finite node numbers. An example illustrates the algorithm.
关键词：real time systems; continuous time models; verification; piece-linear aggregate ; formalism