The report FIMU-RS-2000-10
Distributed LTL Model-Checking in SPIN
Distributed version of the SPIN model checker has not been extended to allow distributed model-checking of LTL formulas. This paper 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.
Please install a newer browser for this site to function properly.