Applying Model Checking to Industrial-Sized PLC Programs

Borja Fernandez Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, Víctor Manuel González Suárez. Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Industrial Informatics, 11(6):1400-1410, 2015. [doi]

Abstract

Abstract is missing.