Informace o publikaci

CoIn-DiVinE

Logo poskytovatele
Logo poskytovatele
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:

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

Další info

K vyhodnocování tohoto webu a k personalizaci obsahu a reklam používáme soubory cookies. Když klikněte na „přijmout cookies", poskytnete nám souhlas k jejich uložení, správě a analýze. Upravit možnosti

Jen nezbytné Přijmout cookies