LTL-specification for development and verification of control programs

LTL-specification for development and verification of control programs

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 special form. The developed LTL-specification can be dir...

Full description

Saved in:
Bibliographic Details
Main Authors: Maxim V. Neyzov, Egor V. Kuzmin
Format: Article
Language:English
Published: Yaroslavl State University 2023-12-01
Series:Моделирование и анализ информационных систем
Subjects:
control software
declarative ltl-specification
imperative ltl-specification
model checking
complete transition system
pseudo-complete transition system
minsky counter machine
nuxmv verifier
plc program
st language
Online Access:https://www.mais-journal.ru/jour/article/view/1823
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

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

Similar Items