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 |
_version_ | 1780971846373474304 |
---|---|
author | Mondok, Milan |
author_facet | Mondok, Milan |
author_sort | Mondok, Milan |
collection | CERN |
description | 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, and reasoning about the original problem through them. The main focus of my summer student project was evaluating the state of the art in compositional verification and examining how they could be applied in PLCverif, a model checking framework for PLC programs developed at CERN. |
id | cern-2780057 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2021 |
record_format | invenio |
spelling | cern-27800572021-09-03T18:44:10Zhttp://cds.cern.ch/record/2780057engMondok, MilanEvaluating compositional verification options for PLCverifEngineeringComputing and ComputersModel 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, and reasoning about the original problem through them. The main focus of my summer student project was evaluating the state of the art in compositional verification and examining how they could be applied in PLCverif, a model checking framework for PLC programs developed at CERN.CERN-STUDENTS-Note-2021-114oai:cds.cern.ch:27800572021-09-03 |
spellingShingle | Engineering Computing and Computers Mondok, Milan Evaluating compositional verification options for PLCverif |
title | Evaluating compositional verification options for PLCverif |
title_full | Evaluating compositional verification options for PLCverif |
title_fullStr | Evaluating compositional verification options for PLCverif |
title_full_unstemmed | Evaluating compositional verification options for PLCverif |
title_short | Evaluating compositional verification options for PLCverif |
title_sort | evaluating compositional verification options for plcverif |
topic | Engineering Computing and Computers |
url | http://cds.cern.ch/record/2780057 |
work_keys_str_mv | AT mondokmilan evaluatingcompositionalverificationoptionsforplcverif |