Publication details
CoInDiVinE: Parallel Distributed Model Checker for Component
-Based Systems
| Basic information | |
|---|---|
| Original title: | CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems |
| Authors: | Nikola Beneš, Ivana Černá, Milan Křivánek |
| Further information | |
|---|---|
| Citation: | BENEŠ, Nikola - ČERNÁ, Ivana - KŘIVÁNEK, Milan. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. In Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden : Open Publishing Association, 2011. pp. 63-67. 2011, Snowbird, Utah, USA. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://eptcs.org/paper.cgi?PDMC2011.7 |
| Type: | Article in Proceedings |
| Keywords: | component-based systems; model checking; parallelization |
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
