Skip to main content.

More News

Release of CORA 060808

08 August 2006

A new release of UPPAAL CORA is available from the download page.

Release of CORA 060626

26 June 2006

A new release of UPPAAL CORA is available from the download page.

Registration procedure

8 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 060206

6 February 2006

A new release of UPPAAL CORA is available from the download page.

Release of CORA 051027

27 October 2005

A new release of UPPAAL CORA is available from the download page.

Release of CORA 050621

21 June 2005

A new release of UPPAAL CORA is available from the download page.

Release of CORA 050531

31 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 Page

25 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 studies

30 Nov 2004

The models of the case studies can now be downloaded from the case study page.

New release

9 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.

New home page

4 Nov 2004

UPPAAL CORA got a new home page. The old page is still available.

We got a new name

4 Nov 2004

To mark the public release of the tool, we have given it a new name: UPPAAL CORA.