CoIn Tool Set

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 Sada nástrojů CoIn
Autoři

BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana KŘIVÁNEK Milan

Rok publikování 2009
Druh Software
Fakulta / Pracoviště MU

Fakulta informatiky

www http://anna.fi.muni.cz/coin/tool
Popis Účelem sady nástrojů CoIn je pomáhat vývojářům při modelování a verifikaci za pomoci komponentově-interakčních (CI) automatů. Sada nástrojů se v současnosti skládá ze dvou částí: modelovacího nástroje, který umožňuje vytvářet modely CI automatů pomocí grafického rozhraní, a verifikačního prostředí pro formální verifikaci vytvořených modelů pomocí techniky ověřování modelu (model checking). Ověřované vlastnosti jsou specifikovány v temporální logice State/Event LTL, resp. její variantě.
Související projekty:

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