| Title |
Equivalent states search algorithm for models with continuous time / |
| Authors |
Makackas, Dalius ; Misevičienė, Regina |
| Full Text |
|
| Is Part of |
Baltic journal of modern computing.. Riga : University of Latvia. 2015, vol. 3, no. 4, p. 225-233.. ISSN 2255-8942. eISSN 2255-8950 |
| Keywords [eng] |
real time systems ; continuous time models ; verification ; piece-linear aggregate formalism |
| Abstract [eng] |
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. |
| Published |
Riga : University of Latvia |
| Type |
Journal article |
| Language |
English |
| Publication date |
2015 |
| CC license |
|
