Cargando…
PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques
Model checking is a promising formal verification method to complement testing in order to improve the quality of PLC programs. However, its application typically needs deep expertise in formal methods. To overcome this problem, we introduce PLCverif, a tool that builds on our verification methodolo...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2015-WEPGF092 http://cds.cern.ch/record/2213507 |