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.
@article{arxiv.1111.0373,
title = {CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems},
author = {Nikola Beneš and Ivana Černá and Milan Křivánek},
journal= {arXiv preprint arXiv:1111.0373},
year = {2011}
}