CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
| Authors | |
|---|---|
| Year of publication | 2011 |
| Type | Article in Proceedings |
| Conference | Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation |
| MU Faculty or unit | |
| 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: |
|