Distributed LTL Model-Checking in SPIN

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka
Rok publikování	2000
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
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ů