CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2011-10-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1111.0373v1 |
id |
doaj-6da0194f92bd4e2e9663b09eaef3c809 |
---|---|
record_format |
Article |
spelling |
doaj-6da0194f92bd4e2e9663b09eaef3c8092020-11-24T23:16:55ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-10-0172Proc. PDMC 2011636710.4204/EPTCS.72.7CoInDiVinE: Parallel Distributed Model Checker for Component-Based SystemsNikola BenešIvana ČernáMilan KřivánekCoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that also supports partial order reduction. Experiments indicate that the tool has good scaling properties when run in parallel setting. http://arxiv.org/pdf/1111.0373v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Nikola Beneš Ivana Černá Milan Křivánek |
spellingShingle |
Nikola Beneš Ivana Černá Milan Křivánek CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems Electronic Proceedings in Theoretical Computer Science |
author_facet |
Nikola Beneš Ivana Černá Milan Křivánek |
author_sort |
Nikola Beneš |
title |
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems |
title_short |
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems |
title_full |
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems |
title_fullStr |
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems |
title_full_unstemmed |
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems |
title_sort |
coindivine: parallel distributed model checker for component-based systems |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2011-10-01 |
description |
CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that also supports partial order reduction. Experiments indicate that the tool has good scaling properties when run in parallel setting. |
url |
http://arxiv.org/pdf/1111.0373v1 |
work_keys_str_mv |
AT nikolabenes coindivineparalleldistributedmodelcheckerforcomponentbasedsystems AT ivanacerna coindivineparalleldistributedmodelcheckerforcomponentbasedsystems AT milankrivanek coindivineparalleldistributedmodelcheckerforcomponentbasedsystems |
_version_ |
1725585767500087296 |