CUI LSV LIPN LIP6
MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Displayed
Sep 21, 2017
Using the Verification Environment

Bundles

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

Available Bundles

Here are the available bundles at this stage.

CosyVerif4PN

cosyverif logoThis 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 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

cosyverif logoThis bundle has been packaged to teach parameter synthesis at the University Paris 13. It only contains a subset of the 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 on windows machines.

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

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