Zobrazeno 1 - 3
of 3
pro vyhledávání: '"K. S. Korovina"'
Autor:
V. N. Glushkova, K. S. Korovina
Publikováno v:
Advanced Engineering Research, Vol 20, Iss 4, Pp 422-429 (2020)
Introduction. Verification packages design and analyze the correctness of parallel and distributed systems within the framework of various classes of temporal logics of linear and branching time. The paper discusses a polynomially realizable class of
Externí odkaz:
https://doaj.org/article/5a3a5adaf3be4565ac7ee865cc0238b1
Autor:
K. S. Korovina, V. N. Glushkova
Publikováno v:
Advanced Engineering Research, Vol 20, Iss 4, Pp 422-429 (2020)
Introduction. Verification packages design and analyze the correctness of parallel and distributed systems within the framework of various classes of temporal logics of linear and branching time. The paper discusses a polynomially realizable class of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8fcdebff70cde26648d9ddda887a651
https://doi.org/10.23947/2687-1653-2020-20-4-422-429
https://doi.org/10.23947/2687-1653-2020-20-4-422-429
Autor:
K S Korovina, I Sh Rudova
Publikováno v:
Journal of Physics: Conference Series. 2131:022131
The polynomial realized formulas are introduced with quantifiers acting on hierarchy lists described by CF-grammars. Upper estimates of execution complexity are obtained depending from the sort of grammar. These formulas have been applied for formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a5bde03f0f2d22307f38301b4ceb56b
https://doi.org/10.1088/1742-6596/2131/2/022131
https://doi.org/10.1088/1742-6596/2131/2/022131