Distributed Memory LTL Model Checking Based on Breadth First Search

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 Distrubuované ovřování modelu pro LTL založené na prohledávání do šířky
Autoři

BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

Rok publikování 2004
Druh Odborná kniha
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis Je navržen distribuovaný algoritmus pro ověřování modelu pro logiku LTL. Tento algoritmus je založen na prohledávání stavového prostoru do šířky a k detekci cyklů využívá zpětných hran.
Související projekty:

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