Distribuované ověřování modelu CTL založené na předpokladech

Základní údaje

Originální název Assumption-based distribution of CTL model checking
Autoři
Luboš Brim
Jitka Židková
Karen Yorav

Další údaje

Citace BRIM, Luboš, Jitka ŽIDKOVÁ a Karen YORAV. Assumption-based distribution of CTL model checking. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, 2005, roč. 7, č. 1, s. 61-73. ISSN 1433-2779.
Originální název angličtina
Obor Informatika
Druh Článek v odborném periodiku
Klíčová slova model-checking

Anotace

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

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

Další info