Temporal Logic for Programmable Logic Controllers

DOI10.18255/1818-1015-2020-4-412-427OpenAlexW3115393822MaRDI QIDQ5060076

No author found.

Publication date: 17 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais725

zbMATH Keywords

formal verificationtransition systemstemporal logicsprogrammable logic controllers

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• PLC-automata: A new class of implementable real-time automata
• Introduction to Model Checking
• Model Checking Concurrent Programs
• A really temporal logic
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: Temporal Logic for Programmable Logic Controllers