Component-Interaction Automata Approach (CoIn)

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Přístup využívající Component-Interaction automaty
Autoři

ZIMMEROVÁ Barbora VAŘEKOVÁ Pavlína BENEŠ Nikola ČERNÁ Ivana BRIM Luboš SOCHOR Jiří

Rok publikování 2008
Druh Kapitola v knize
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis Cilem našeho přístupu k modelování a verifikaci komponentových systémů, je vytvoření prostředí pro formální analýzu behaviorálních aspektů velkých komponentových systémů. Pro účely modelování využíváme Component-Interaction automaty, a pro účely verifikace používáme verifikační nástroj DiVinE. V této kapitole představujeme, jak je možné využít náš přístup k modelování a verifikaci jednotného modelovacího příkladu definovaného v úvodu této knihy.
Související projekty:

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