Assumption-based distribution of CTL model checking

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Distribuované ověřování modelu CTL založené na předpokladech
Autoři

BRIM Luboš ŽIDKOVÁ Jitka YORAV Karen

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

Fakulta informatiky

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:

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