Docker images
The recommended way to run CosyVerif is via Docker. You only need Docker installed; then pull the images below.
Show legacy bundles
A CosyVerif bundle is a standalone distribution dedicated to a specific purpose, containing a subset of the available services and packaged for easy installation on some target architectures. These bundles are no longer maintained and are kept here for reference.
CosyVerif4PN
Packaged to teach Petri Nets at the University Pierre & Marie Curie (Master 2, Systèmes et Applications Répartis). It contains the subset of services dedicated to Petri Nets, and can be considered the continuation of the CPN-AMI project.
CosyVerif4Imitator
Packaged to teach parameter synthesis at the University Paris 13. It contains the subset of services that support parametric timed automata and the IMITATOR tool.