On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification

The article is devoted to the approach to constructing and verification of discrete PLC-programs by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs by the model checking method. The linear temporal logic LTL is used as a language of specification of the prog...

全面介紹

書目詳細資料

發表在:	Моделирование и анализ информационных систем
Main Authors:	E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov
格式:	Article
語言:	英语
出版:	Yaroslavl State University 2015-08-01
主題:	programmable logic controllers (plc) construction and verification of plc-programs ltl-specification minsky counter machines
在線閱讀:	https://www.mais-journal.ru/jour/article/view/269