Cargando…
What is special about PLC software model checking?
Model checking is a formal verification technique to check given properties of models, designs or programs with mathematical precision. Due to its high knowledge and resource demand, the use of model checking is restricted mainly to core parts of highly critical systems. However, we and many other a...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159 http://cds.cern.ch/record/2305317 |