Cargando…
Automated Formal Verification for PLC Control Systems
Programmable Logic Controllers (PLCs) are widely used devices used in industrial control systems. Ensuring that the PLC software is compliant with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of the safety-critical software....
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2014
|
| Acceso en línea: | http://cds.cern.ch/record/1695160 |