| |
| Issue |
Title |
| |
| Vol 33, No 2 (2026) |
Building operational semantics of programming languages as executable ontological models of programs |
Abstract
PDF (Rus)
|
|
Igor S. Anureev, Natalia O. Garanina, Dmitry A. Kondratyev, Sergei P. Gorlatch |
| |
| Vol 33, No 2 (2026) |
Automation of proving verification conditions in deductive verification system for poST programs |
Abstract
PDF (Rus)
|
|
Ivan M. Chernenko, Igor S. Anureev |
| |
| Vol 31, No 3 (2024) |
LTL-specification for development and verification of logical control programs in feedback systems |
Abstract
PDF (Rus)
|
|
Maxim V. Neyzov, Egor V. Kuzmin |
| |
| Vol 31, No 2 (2024) |
Verification of declarative LTL-specification of control programs behavior |
Abstract
PDF (Rus)
|
|
Maxim V. Neyzov, Egor V. Kuzmin |
| |
| Vol 31, No 1 (2024) |
Requirement patterns in deductive verification of poST Programs |
Abstract
PDF (Rus)
|
|
Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina |
| |
| Vol 31, No 1 (2024) |
Model checking programs in process-oriented IEC 61131-3 Structured Text |
Abstract
PDF (Rus)
|
|
Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev |
| |
| Vol 30, No 4 (2023) |
LTL-specification for development and verification of control programs |
Abstract
PDF (Rus)
|
|
Maxim V. Neyzov, Egor V. Kuzmin |
| |
| 1 - 7 of 7 Items |
|
