Other formats:
BibTeX
LaTeX
RIS
@inproceedings{589882,
author = {Barnat, Jiří and Forejt, Vojtěch and Leucker, Martin and Weber, Michael},
address = {Lisabon, Portugalsko},
booktitle = {Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05)},
keywords = {distributed; parallel; model-checking; SPIN},
language = {eng},
location = {Lisabon, Portugalsko},
pages = {95-100},
publisher = {TU Munchen},
title = {DivSPIN - A SPIN compatible distributed model checker},
year = {2005}
}
TY - JOUR
ID - 589882
AU - Barnat, Jiří - Forejt, Vojtěch - Leucker, Martin - Weber, Michael
PY - 2005
TI - DivSPIN - A SPIN compatible distributed model checker
PB - TU Munchen
CY - Lisabon, Portugalsko
KW - distributed
KW - parallel
KW - model-checking
KW - SPIN
N2 - This paper describes the design and implementation ideas of an extension of the parallel and distributed model checker DiVinE to a SPIN compatible distributed model checker \Toolname. The goal of DivSPIN is to serve as user-friendly, ready-to-use system that takes up the recent theoretical and practical developments in the area of distributed model checkers and combines them with well settled operational procedures of sequential model checkers to show the benefits of parallel model checking for typical verification tasks. For this project, the research teams located at Masaryk University in Brno, Czech Republic, RWTH Aachen University, and TU Munich, Germany join their efforts.
ER -
BARNAT, Jiří, Vojtěch FOREJT, Martin LEUCKER and Michael WEBER. DivSPIN - A SPIN compatible distributed model checker. In \textit{Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05)}. Lisabon, Portugalsko: TU Munchen. p.~95-100. 2005.
|
