Roméo v3.2.4

June 21, 2016 on 9:43 am | In Releases | Comments Off

We have released a new version of Roméo. This version just adds a switch to control a parameter-related optimization in the verification window.

You can get it in the Downloads section.

Roméo 3.2.3

January 14, 2016 on 6:45 pm | In Releases | Comments Off

A new version is available that incorporates the series of hotfixes of v3.2.2, together with a few new usability enhancements in the GUI.

Get it in the Downloads section.

Update 2016-02-02: A 64bits MS-Windows build is now available.

Roméo 3.2.2

December 8, 2015 on 12:16 pm | In Releases | Comments Off

This version fixes more small glitches with DBMs and zone initialisation when stopwatch arcs are used.

The GUI now also adds a new Hybrid-T-TPN mode in the control panel. This allows assignment of constant time elapsing speeds to transitions, which can be used in conjunction to stopwatch arcs to specify hybrid models.

Get this version on the Downlads page.

Update Jan 5, 2016: we have updated the files (versions a and b) to fix a few minor GUI issues and a bad initialisation in the AF property.

Update Jan 8, 2016: yet some minor updates (versions c and d) to optimise integer hull computations a bit and remove unnecessary parser strictness in the GUI

Roméo v3.2.1

November 24, 2015 on 2:44 pm | In Releases | Comments Off

Just a few days after v3.2.0, we announce v3.2.1, which mostly contains a fix for a small regression in DBM handling possibly leading to incorrect results. We have also added a better display of variable guards and actions in the GUI.

As usual this version can be downloaded on the Downloads page.

Roméo v3.2.0

November 19, 2015 on 11:16 am | In Releases | Comments Off

We are happy to announce a new release of Roméo.

Version 3.2.0 brings a few bugfixes all around the code and a mainly a new experimental feature allowing C-like code annotations on transitions.

It can be obtained on the Downloads page.

We currently have only Linux and Mac OS X binaries but the source code is available.

Roméo 3.0

October 13, 2014 on 9:10 am | In Releases | Comments Off

We are happy to announce the release of Roméo 3.0! The highlights of this version are:

  • New Engine based on CTS structure,
  • Support for integer parameter synthesis

Download this new version in the download section

Roméo 2.10.2

April 3, 2012 on 10:03 am | In Releases | Comments Off

Roméo 2.10.2 has been released.

This is a just a bugfix release to remove a crash in the preference panel.

Download this new version in the download section.

Roméo 2.10.1

February 29, 2012 on 3:07 pm | In Releases | Comments Off

Roméo v2.10.1 has just been released.

This is a bugfix release with several problems in the GUI fixed. A few unmaintained or obsolete features have also been disabled.

Download this new version in the download section.

Roméo 2.10.0

February 13, 2012 on 2:28 pm | In Releases | Comments Off

We are happy to announce the release of Roméo 2.10.0! The highlights of this version are:

  • Support for integer parameter synthesis,
  • New marking properties for TCTL model-checking: deadlock (no transition is enabled/firable) and bounded(k) (no place contains more than k tokens)

It also features many bugfixes. Download this new version in the download section

Roméo 2.9.2

September 30, 2011 on 5:58 pm | In Releases | Comments Off

A new bugfix release of Roméo !

Version 2.9.2 fixes several bugs in the GUI and adds a default limit of 50000 tokens per place for most computations.

Download this new version in the download section

Next Page »

Powered by WordPress with Pool theme design by Borja Fernandez. Roméo logo design by Jean-Luc Bechennec.
Entries and comments feeds. Valid XHTML and CSS. ^Top^