Assumption-based distribution of CTL model checking

Varování

Publikace nespadá pod Filozofickou 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	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, 14 s. ISSN 1433-2779.
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:	Automatizovaná verifikace paralelních a distribuovaných systémů Vysoce paralelní a distribuované výpočetní systémy