History

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.

Picture

Publication of CosyVerif4Imitator

10/10/2014

 

Picture

Publication of CosyVerif4PN 1.1

This version was used for the Petri net tutorial in Tunis on June 2014 and in Brussels in June 2015.

10/10/2014

 

Picture

Publication of CosyVerif4PN 1.0.2

This version fixes a bug in the display of some results in PROD.

17/11/2013

 

Picture

Publication of CosyVerif4PN 1.0.1

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.

29/10/2013

 

Picture

Publication of CosyVerif4PN 1.0

  • 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).

22/10/2013

Picture

Publication of CosyVerif 0.3

01/10/2013

Picture

Publication of CosyVerif 0.2

14/06/2013

Picture

Publication of CosyVerif 0.1

23/10/2012

 

Pre-history

This is a very short summary of what we did in project that lead us to . More details can be found there.

2005-2010

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.

1997-2004

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.

1987-1997

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.