McScM is implemented in OCaml and published under a BSD-like license (see README in distribution for detailed information). We provide for both stable releases of the main trunk of development as well as experimental releases/branches two ways of installing and running the tool:

Stable Releases

Compiling Directly from Source

  • Please follow the enclosed instructions in the README for further details.

Precompiled Binary Version

We provide out-of-the-box packages of our latest version for the following plattforms:

You will find more detailed documentation and some of our own example protocols in the above distributions.

Experimental Releases

Global State Estimates/Control version

Since stable release 1.1, this former experimental release is directly included in the principal McScM distribution (via the control tool).