Release of Roméo v2.6.1

October 17, 2005 on 10:46 pm | In Releases | 1 Comment

Since the previous release of Roméo, a few bugs have been fixed and some improvements have been implemented, e.g.:

  • the zone based method now performs well when dealing with flush arcs;
  • traces given by the TCTL model-checker have been completed.

Roméo v2.6.1 is available in the download section.

New Roméo website

October 8, 2005 on 2:00 am | In General information | 2 Comments

The new Roméo website is now on-line! It was previously hosted on IRCCyN webpages. Roméo now owns its proper subdomain:
All the future developments and releases of Roméo will now be reported at this new URI. Please update your bookmarks!

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^