Vlastnosti stavových prostorů a jejich aplikace

Základní údaje

Originální název Properties of State Spaces and Their Applications
Autoři

Další údaje

Citace PELÁNEK, Radek. Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, 2008, roč. 10, č. 5, s. 443-454. ISSN 1433-2779.
Originální název angličtina
Obor Informatika
Druh Článek v odborném periodiku
Klíčová slova state space; explicit model checking; graph; experimental evaluation

Anotace

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

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

Další info