CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

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

• 2011-PDMC.pdf

• 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

• Highly Parallel and Distributed Computing Systems
• Verification and Analysis of Large-Scale Computer Systems
• Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
• Software Components in Embedded Systems: Development and Verification
• Posílení zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity