Zobrazeno 1 - 2
of 2
pro vyhledávání: '"imperative ltl-specification"'
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