Technical Reports
The report FIMU-RS-2000-10
Distributed LTL Model-Checking in SPIN
by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.
FIMU-RS-2000-10. Available as Postscript, PDF.
Abstract:
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.
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.