Zobrazeno 1 - 3
of 3
pro vyhledávání: '"nuxmv verifier"'
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 3, Pp 240-279 (2024)
The article continues the series of publications on the development and verification of control programs based on LTL-specifications of a special type. Earlier, a declarative LTL-specification was proposed to describe the strictly deterministic behav
Externí odkaz:
https://doaj.org/article/7b8c9ffc0b3c480a8bd054fe01cca27a
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 2, Pp 120-141 (2024)
The article continues the series of works on development and verification of control programs based on LTL-specifications of a special type. Previously, it was proposed a declarative LTL-specification, which allows describing the behavior of control
Externí odkaz:
https://doaj.org/article/9e57936301e44ae5951ac50e3c89b5da
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 30, Iss 4, Pp 308-339 (2023)
This work continues the series of articles on development and verification of control programs based on the LTL-specification. The essence of the approach is to describe the behavior of programs using formulas of linear temporal logic LTL of a specia
Externí odkaz:
https://doaj.org/article/584203ca53f54d858b748005cf82c3de