Model Checking of Control-User Component-Based Parametrised Systems

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 Ověřování parametrizovaných komponentových systémú
Autoři

MORAVCOVÁ VAŘEKOVÁ Pavlína ČERNÁ Ivana

Rok publikování 2008
Druh Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis Mnohé komponentové systémy mají specifickou architekturu. Skládají se z fixní řídící části a (libovolného počtu) uživatelských komponent. Modely takových systémú jsou parametrizovány počtem uživatelských komponent a tedy potenciálně nekonečné. Ověřování je možné pro specifické instance systémů. Článek popisuje algoritmy pro verifikace vlasností bezpečnosti pro systémy vykazující symetrické chování.
Související projekty:

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