Formal verification of PLC programs using the B method

We pusblish this report which is related to safety critical industrial automation systems. Author: Haniel Moreira Barbosa Advisor: David Déharbe Date: October 2012 Nature: Submitted for the Graduate “Systems and Computer” Program Department of Computer Applied Mathematics and Informatics of the Federal University Rio Grande do Norte (Natal – Brazil).  Summary:  PLCs (acronym for Programmable Logic Controllers) […]