DiVinE Toolset

0.8.0

This tutorial contains description of tools contained in the DiVinE package.

Installation

ToolSet is the part of the package downloadable on the web site of a project.

  1. tar --gunzip -xf divine-version.tar.gz
  2. cd divine
  3. ./configure
  4. make
  5. make install

Common Tool Properties

Currently all tools are purely command line programs with no interaction (except for the simulator of models). For better user comfort we are currently developing a graphical interface, which is still not in a stable version and thus it is not publicly available.

Most of these tools (especially model checking algorithms) support following flags:

Input models of systems can be written in DVE or Promela modeling languages. All tools support both formats or print a message, that they cannot run with a model in a given modeling language.

Description of tools


Tutorial, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University