. . . . "Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation" . . . "K\u0159iv\u00E1nek, Milan" . "10.4204/EPTCS.72" . "2075-2180" . . . "CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems"@en . "component-based systems; model checking; parallelization"@en . "Bene\u0161, Nikola" . . . "14330" . . "3"^^ . "CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems" . . "3"^^ . . . "RIV/00216224:14330/11:00065910" . "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."@en . . "\u010Cern\u00E1, Ivana" . . . "Snowbird, Utah, USA" . "Neuveden" . "CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems"@en . . . . "190807" . "2011-01-01+01:00"^^ . . "RIV/00216224:14330/11:00065910!RIV14-MSM-14330___" . "5"^^ . "CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems" . "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." . . . "Open Publishing Association" . "[3B42A4248423]" . "P(GA201/09/1389), P(GAP202/11/0312), P(GD102/09/H042), S, Z(MSM0021622419)" . .