Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach
Jessica Ravakambinintsoa, Emil Dumitrescu, Éric Zamaï, Denis Chalon · 2024
PLC programs play a major role in the operation of automated systems, controlling and monitoring various industrial processes. Formal verification methods, notably model checking, have been extensively studied to ensure the proper functioning of PLC programs. To implement this verification method, various formal modeling approaches have been proposed. However, most of them are often complex and require extensive expertise for implementation. An alternative is proposed, aimed at simplifying the formalization process.