CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Logo poskytovatele
Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

Rok publikování 2011
Druh Článek ve sborníku
Konference Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://eptcs.org/paper.cgi?PDMC2011.7
Doi http://dx.doi.org/10.4204/EPTCS.72
Obor Informatika
Klíčová slova component-based systems; model checking; parallelization
Přiložené soubory
Popis CoInDiVinE je nástroj pro paralelní distribouvané ověřování modelů zachycujících interakce mezi komponentami v hierarchických komponentových systémech. Tento nástroj rozšiřuje existující nástroj DiVinE o nový vstupní jazyk (automaty komponentové interakce) a logiku pro specifikaci vlastností (CI-LTL). Protože nový vstupní jazyk je odlišný od standardního jazyka nástroje DiVinE, bylo třeba pro něj vytvořit nový algoritmus prohledávání stavového prostoru, který podporuje techniku redukce pomocí částečného uspořádání. Experimenty ukazují, že náš nástroj má dobré škálovací vlastnosti při použití v paralelním prostředí.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.