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

Full description

Bibliographic Details
Main Authors: Nikola Beneš, Ivana Černá, Milan Křivánek
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