Další formáty:
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 a 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, s.~200-215. ISBN~3-540-42124-6.
|
