CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Investor logo
Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

Year of publication 2011
Type Article in Proceedings
Conference Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
MU Faculty or unit

Faculty of Informatics

Citation
Web http://eptcs.org/paper.cgi?PDMC2011.7
Doi http://dx.doi.org/10.4204/EPTCS.72
Field Informatics
Keywords component-based systems; model checking; parallelization
Attached files
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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.