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...

Descripción completa

Detalles Bibliográficos
Autor principal: Mondok, Milan
Lenguaje:eng
Publicado: 2021
Materias:
Acceso en línea:http://cds.cern.ch/record/2780057