Download

Bundles

A CosyVerif bundle is a distribution dedicated to some purpose. It is standalone and contains a subset of all the available services in CosyVerif. It also has a form that facilitates an easy installation on some target architectures, even if all advanced features of Alligator are not used.

Available Bundles

Here are the available bundles at this stage.

CosyVerif4PN

This bundle has been packaged to teach Petri Nets at the University Pierre & Marie Curie (Master 2, Systèmes et Applications Répartis). It only contains a subset of the CosyVerif services that are dedicated to Petri Nets.

CosyVerif4PN is available for the following architectures:

CosyVerif4PN can be considered as the following of the CPN-AMI Project.

The documentation about integrated services is available there.

CosyVerif4Imitator

This bundle has been packaged to teach parameter synthesis at the University Paris 13. It only contains a subset of the CosyVerif services that support parametric timed automata and the Imitator tool.

CosyVerif4Imitator is available for the following architectures:

Other Elements to Download

IMPORTANT: at this stage, since there is no bundle for Windows, this is the only way to use CosyVerif on windows machines.

To use the CosyVerif environment, you may also proceed the following ways:

  • Download the Coloane User interface and access to the public platform
  • Install both the user interface and the tool platform

CosyVerif is a client/server verification environment based on web services.

Bug Report

To submit a bug report to the development team, please follow the procedure described below:

  • Register on our dedicated project management application here
  • Then, submit a new issue here