Cargando…
Simplification of numeric variables for PLC model checking
Software model checking has recently started to be applied in the verification of programmable logic controller (PLC) programs. It works efficiently when the number of input variables is limited, their interaction is small and, thus, the number of states the program can reach is not large. As observ...
| Autores principales: | , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1145/3487212.3487334 http://cds.cern.ch/record/2857867 |