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}. Brno: FI MU, 2000, 16 s. Technical Reports.
|