CoIn Tool Set

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