ParaDiSe - Parallel & Distributed Systems Laboratory

DiVSPIN

The goal of this project is the design and implementation of an extension of the parallel and distributed model checker DiVinE to a SPIN compatible distributed model checker DiVSPIN. For this project, the research teams located at Masaryk University Brno, Czech Republic, RWTH Aachen, CWI Amsterdam and TU Munich, Germany join their efforts.

Researchers

• Masaryk University Brno, Czech Republic

  Jiri Barnat, Lubos Brim, Ivana Cerna, Petr Rockai

• Technical University München, Germany

  Martin Leucker

• RWTH Aachen, Germany

  Michael Weber, Stefan Schürmans

• CWI Amsterdam, The Netherlands

  Michael Weber

Links

• DiVinE main web page
• DiVinE project
• NIPS - New Implementation of ProMeLa Semantics

Recent Publications and Presentations

J. Barnat, V. Forejt, M. Leucker, M. Weber:
DivSPIN - A SPIN compatible distributed model checker. (pdf)
SENVA 2005, Grenoble, France, 2005.

J. Barnat, V. Forejt, M. Leucker, M. Weber:
DivSPIN - A SPIN compatible distributed model checker. (pdf)
PDMC 2005, Lisbon, Portugal, 2005.

Meetings