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

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^