Assumption-based distribution of CTL model checking

Název česky Distribuované ověřování modelu CTL založené na předpokladech
Autoři BRIM Luboš — ŽIDKOVÁ Jitka — YORAV Karen
Druh Článek v odborném periodiku
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í jazyk angličtina
Obor Informatika
Klíčová slova model-checking

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.

Další info