Distributed LTL Model-Checking in SPIN

• Autoři: BARNAT Jiří; BRIM Luboš; STŘÍBRNÁ Jitka
• Rok publikování: 2000
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: In this paper we propose a distributed algorithm for model-checking LTL formulas in SPIN. In particular, we explores the possibility of performing nested depth first search algorithm in distributed SPIN. A distributed version of the algorithm is presented, and its complexity is discussed. Some preliminary experimental results are summarised.

Související projekty

• Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů