Další formáty:
BibTeX
LaTeX
RIS
@book{346893,
author = {Barnat, Jiří and Brim, Luboš and Stříbrná, Jitka},
address = {Brno},
keywords = {model-checking; verification; verification tool},
language = {cze},
location = {Brno},
publisher = {FI MU},
title = {Distributed LTL Model-Checking in SPIN},
url = {http://www.fi.muni.cz/informatics/reports/pdf/FIMU-RS-2000-10.pdf},
year = {2000}
}
TY - BOOK
ID - 346893
AU - Barnat, Jiří - Brim, Luboš - Stříbrná, Jitka
PY - 2000
TI - Distributed LTL Model-Checking in SPIN
VL - Technical Reports
PB - FI MU
CY - Brno
KW - model-checking
KW - verification
KW - verification tool
UR - http://www.fi.muni.cz/informatics/reports/pdf/FIMU-RS-2000-10.pdf
N2 - 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.
ER -
BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. \textit{Distributed LTL Model-Checking in SPIN}. Online. Brno: FI MU, 2000. 16 s. Technical Reports. [citováno 2024-04-24]
|
