Applying Model Checking to Industrial-Sized PLC Programs

Programmable logic controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of safety-critical software but...

Descripción completa

Detalles Bibliográficos
Autores principales: Fernandez Adiego, Borja, Darvas, Daniel, Blanco Vinuela, Enrique, Tournier, Jean-Charles, Bliudze, Simon, Blech, Jan Olaf, Gonzalez Suarez, Victor M
Lenguaje:eng
Publicado: 2015
Materias:
Computing and Computers
Acceso en línea:https://dx.doi.org/10.1109/TII.2015.2489184
http://cds.cern.ch/record/2110234

Internet

https://dx.doi.org/10.1109/TII.2015.2489184
http://cds.cern.ch/record/2110234

Ejemplares similares