Distributed Memory LTL Model Checking Based on Breadth First Search

• 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
• 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

• Automatizovaná verifikace paralelních a distribuovaných systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů