Informace o publikaci
Assumption-based distribution of CTL model checking
Název česky | Distribuované ověřování modelu CTL založené na předpokladech |
---|---|
Autoři | |
Rok publikování | 2005 |
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 | model-checking |
Popis | Je navržena distribuce ověřování modelu pro logiku CTL, která modeluje částečné stavové prostory jako Kripkeho struktury s hraničními stavy. Algoritmus je založen na využití předpokladů o pravdivosti formulí v hraničních stavech, počítače postupně upřesňují předpoklady výměnou relevantních informací. |
Související projekty: |