Cargando…
Evaluating compositional verification options for PLCverif
Model checking is a computationally complex task and state space explosion often hinders successful verification. Compositional (also called modular) verification techniques aim to tackle this by decomposing model checking problems into smaller sub-problems that are potentially easier to compute, a...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2780057 |