This thesis focuses on one particular type of control systems that operates industrial processes, the PLC (Programmable Logic Controller) - based control systems.
It targets one of the main challenges for these systems, guaranteeing that PLC programs are compliant with their specifications.