More News
Release of CORA 06080808 August 2006
A new release of UPPAAL CORA is available from the download page.
Release of CORA 06062626 June 2006
A new release of UPPAAL CORA is available from the download page.
Registration procedure8 February 2006
The UPPAAL CORA download is now integrated into the UPPAAL registration system. You find the link on the download page. The UPTA version of UPPAAL CORA is no longer available.
Release of CORA 0602066 February 2006
A new release of UPPAAL CORA is available from the download page.
Release of CORA 05102727 October 2005
A new release of UPPAAL CORA is available from the download page.
Release of CORA 05062121 June 2005
A new release of UPPAAL CORA is available from the download page.
Release of CORA 05053131 Maj 2005
A new release of UPPAAL CORA is available from the download page. Most notably, this release has much better support for generating traces - including the ability to generate optimal concrete traces.
UPPAAL Got New Home Page25 Jan 2005
The main UPPAAL site adopted the same layout as the UPPAAL CORA site. At the same time, the UPPAAL CORA site has adopted a new color scheme.
Updated case studies30 Nov 2004
The models of the case studies can now be downloaded from the case study page.
New release9 Nov 2004
First
publicly announced release
of UPPAAL CORA. The biggest change is the bundling of a
GUI.
Update 12 Nov 2004: Notice that a new build with
the same version number was uploaded today. If you
downloaded the old build, please download the version
again.
4 Nov 2004
UPPAAL CORA got a new home page. The old page is still available.
We got a new name4 Nov 2004
To mark the public release of the tool, we have given it a new name: UPPAAL CORA.