LTL-specification for development and verification of logical control programs in feedback systems

LTL-specification for development and verification of logical control programs in feedback systems

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 behavior of programs, ways of its verification and tran...

Full description

Saved in:
Bibliographic Details
Main Authors: Maxim V. Neyzov, Egor V. Kuzmin
Format: Article
Language:English
Published: Yaroslavl State University 2024-09-01
Series:Моделирование и анализ информационных систем
Subjects:
control software
plc program
declarative ltl-specification
ltl-specification of constraintly nondeterministic behavior
fairness conditions
closed-loop systems verification
plant behavior model
imaginary sensor
temporal properties
model checking
nuxmv verifier
smv-specification
Online Access:https://www.mais-journal.ru/jour/article/view/1877
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://www.mais-journal.ru/jour/article/view/1877

Similar Items