Properties of State Spaces and Their Applications
| Název česky | Vlastnosti stavových prostorů a jejich aplikace |
|---|---|
| Autoři | |
| 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 | |
| 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: |