DivSPIN - A SPIN compatible distributed model checker

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BARNAT Jiří FOREJT Vojtěch LEUCKER Martin WEBER Michael

Year of publication 2005
Type Article in Proceedings
Conference Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05)
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords distributed; parallel; model-checking; SPIN
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.