Properties of State Spaces and Their Applications

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	Vlastnosti stavových prostorů a jejich aplikace
Autoři	PELÁNEK Radek
Rok publikování	2008
Druh	Článek v odborném periodiku
Časopis / Zdroj	International Journal on Software Tools for Technology Transfer (STTT)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	state space; explicit model checking; graph; experimental evaluation
Popis	Při explicitním ověřování modelu je prohledáván celý stavový prostor systému. Tento stavový prostor je většinou uvažován jako orientovaný graf bez jakýchkoliv specifických vlastností. Shromáždili jsme velkou sbírku stavových prostorů a analyzovali jejich vlastnosti a výsledky ukazují, že reálné stavové prostory vykazují řadu typických vlastností. Ukazuje se také, že stavové prostory se výrazně liší od náhodných grafů a že existují významné rozdíly mezi různými typy stavových prostorů. Diskutujeme také důsledky těchto zjištění pro návrh a experimentální vyhodnocování algoritmů pro ověřování modelů.
Související projekty:	Institut Teoretické Informatiky Automatická analýza modelů pomocí procházení stavového prostoru