Model Checking of Control-User Component-Based Parametrised Systems

Varování

Publikace nespadá pod Pedagogickou 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.