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:
- MacOS (64 bits only): please get it from here
- Linux: please get it from here for 64 bits machines and here for 32 bits machines
- Windows: please get it from here for 64 bits machines and here for 32 bits machines
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:
- MacOS (64 bits only): please get it from here
- Linux: please get it from here for 64 bits machines and here for 32 bits machines
- Windows: please get it from here for 64 bits machines and here for 32 bits machines
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: