CoIn Tool Set

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:	Realistická aplikace formálních metod v komponentových systémech Vysoce paralelní a distribuované výpočetní systémy Verifikace a analýza velmi velkých počítačových systémů