This page presents the main evolutions of the CosyVerif Project, together with its roots. CosyVerif is the result of more than 25 years of experience in building verification environments.
This version was used for the Petri net tutorial in Tunis on June 2014 and in Brussels in June 2015.
This version fixes a bug in the display of some results in PROD.
This version embeds a correction in the management of Coloan’s logs that could cause crashes in case of a multi-user installation of the bundles.
- Model Checking tools: PROD (Univ. Helsinki), Cunf (ENS de Cachan, LSV), PNXDD and Crocodile (Univ. P. & M. Curie, LIP6),
- Stochastic Analysis: Cosmos (ENS de Cachan, LSV)
- Structural Analysis: GreatSPN (Univ. Torino) and Structural Bounds (Univ. P. & M. Curie, LIP6),
- Import/Export: unfolder to P/T nets and export to P/T greatSPN (Univ. P. & M. Curie, LIP6).
This is a very short summary of what we did in project that lead us to . More details can be found there.
Development of CPN-AMI 3.x (2005-2010) that was available on the web and supported, together with Macao between 2005 and 2012. It is still online but is not maintained anymore.
Development of Macao (until 2000) and CPN-AMI 2.x (1994-1997). CPN-AMI 2.x was available on the web and supported, together with Macao between 1997 and 2004.
Development of Macao (since 1987) and CPN-AMI 1.x (1988-1994). CPN-AMI 1.x was available on the web and supported, together with Macao between 1994 and 1997.