CoIn-DiVinE

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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í	2010
Druh	Software
Fakulta / Pracoviště MU	Fakulta informatiky
www	http://anna.fi.muni.cz/AS/coin-divine-1.0.tar.gz
Popis	CoIn-DiVinE je nástroj pro verifikaci interakcí v komponentovém systému, který je popsán pomocí formalismu automatů komponentové interakce (component-interaction automata). Nástroj je rozšířením verifikačního nástroje DiVinE 2.0 o nový vstupní jazyk CoIn a novou temporální logiku CI-LTL.
Související projekty:	Verifikace a analýza velmi velkých počítačových systémů 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ů