Distributed LTL Model-Checking in SPIN

• Autoři: BARNAT Jiří; BRIM Luboš; STŘÍBRNÁ Jitka
• Rok publikování: 2001
• Druh: Článek ve sborníku
• Konference: M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: model-checking; verification; verification tool
• Popis: In this paper we propose a distributed algorithm for model-checking LTL. In particular, we explore 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.

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ů