CoIn-DiVinE

• 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ů