CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F11%3A00065910" target="_blank" >RIV/00216224:14330/11:00065910 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.4204/EPTCS.72" target="_blank" >http://dx.doi.org/10.4204/EPTCS.72</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4204/EPTCS.72" target="_blank" >10.4204/EPTCS.72</a>

Jazyk výsledku
angličtina
Název v původním jazyce
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Popis výsledku v původním jazyce
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 runin parallel setting.
Název v anglickém jazyce
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Popis výsledku anglicky
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 runin parallel setting.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
ISBN
—
ISSN
2075-2180
e-ISSN
—
Počet stran výsledku
5
Strana od-do
63-67
Název nakladatele
Open Publishing Association
Místo vydání
Neuveden
Místo konání akce
Snowbird, Utah, USA
Datum konání akce
1. 1. 2011
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)