|
|
2020, Volume 27, Number 4
|
 |
|
 |
|
Editorials
|
|
From the editors of the issue
V. A. Zakharov, N. V. Shilov
|
372–374 |
|
|
Theory of computing
|
|
|
Deriving homing sequences for finite state machines with timed guards
A. S. Tvardovskii, N. V. Yevtushenko
|
376–395 |
|
|
On the modeling of sequential reactive systems by means of real time automata
E. M. Vinarskii, V. A. Zakharov
|
396–411 |
|
|
Temporal logic for programmable logic controllers
N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch
|
412–427 |
|
|
On the model checking problem for some extension of CTL*
A. R. Gnatenko, V. A. Zakharov
|
428–441 |
|
|
Knowledge-based algorithms for BDI-agents
N. V. Shilov, N. O. Garanina
|
442–453 |
|
|
InnoChain: a distributed ledger for industry with formal verification on all implementation levels
V. A. Kukharenko, K. V. Ziborov, R. F. Sadykov, A. V. Naumchev, R. M. Rezin, L. A. Merkin-Janson
|
454–471 |
|
|
Architecture of the formally-verified distributed ledger system innochain
L. A. Merkin-Janson, R. M. Rezin, N. K. Vasilyev
|
472–487 |
|
|
The “one-fifth rule” with rollbacks for self-adjustment of the population size in the $(1 + (\lambda,\lambda))$ genetic algorithm
A. O. Bassin, M. V. Buzdalov, A. A. Shalyto
|
488–508 |
|
|
Erratum
|
|
|
Corrigendum to: V. A. Sokolov, “On the existence problem of finite bases of identities in the algebras of recursive functions”, Modeling and Analysis of Information Systems, vol. 27, no. 3, pp. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315
V. A. Sokolov
|
510–511 |
|
|
Contact us: