Other formats:
BibTeX
LaTeX
RIS
@inproceedings{362073, author = {Barnat, Jiří and Brim, Luboš and Stříbrná, Jitka}, address = {Toronto, Canada}, booktitle = {M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop}, keywords = {model-checking; verification; verification tool}, language = {eng}, location = {Toronto, Canada}, isbn = {3-540-42124-6}, pages = {200-215}, publisher = {Springer Verlag}, title = {Distributed LTL Model-Checking in SPIN}, year = {2001} }
TY - JOUR ID - 362073 AU - Barnat, Jiří - Brim, Luboš - Stříbrná, Jitka PY - 2001 TI - Distributed LTL Model-Checking in SPIN PB - Springer Verlag CY - Toronto, Canada SN - 3540421246 KW - model-checking KW - verification KW - verification tool N2 - 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. ER -
BARNAT, Jiří, Luboš BRIM and Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. In \textit{M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop}. Toronto, Canada: Springer Verlag, 2001, p.~200-215. ISBN~3-540-42124-6.
|