Speaker
Mr
Borja Fernandez Adiego
(Universidad de Oviedo (ES))
Description
PLCs are the most widely used control devices for industrial processes. Ensuring that PLC programs are compliant with the specifications is a challenging task and a highly recommended practice, especially for Safety Critical Systems. We propose a methodology for applying automated model checking to PLC programs hiding completely the complexity of using formal methods to PLC developers
