Cargando…
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...
| Autores principales: | , , , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1109/TII.2015.2489184 http://cds.cern.ch/record/2110234 |