Cargando…
PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs
Programmable Logic Controllers (PLC) are widely used for industrial automation in industry and at CERN. The reliability of PLC software is crucial, but typically only testing is used to validate it. Our work targets the use of formal verification in practical ways for many years, which showed that i...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2019-MOBPP01 http://cds.cern.ch/record/2777799 |