Temporal Logic for Programmable Logic Controllers

Temporal Logic for Programmable Logic Controllers

We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programmable Logic Controllers (PLCs). A specific feature o...

Full description

Saved in:
Bibliographic Details
Main Authors: Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch
Format: Article
Language:English
Published: Yaroslavl State University 2020-12-01
Series:Моделирование и анализ информационных систем
Subjects:
formal verification
temporal logics
transition systems
programmable logic controllers (plc)
Online Access:https://www.mais-journal.ru/jour/article/view/1433
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items