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 Model checking parametrizovaných komponentových systémů s kontroler-user architekturou
Autoři

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

Rok publikování 2008
Druh Článek ve sborníku
Konference Lecture Notes in Computer Science 5282
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova parametrised systems; formal verification; Client-Server systems; component-based system analysis
Popis V tomto článku se věnujeme kontroler-user parametrizovaným systémům, které vzniknou jako modely komponentových systémů. Navrhujeme dva algoritmy pro formální verifikaci toho, které stavy jsou v těchto systémech dosažitelné.
Související projekty:

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