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.
The new Roméo website is now on-line! It was previously hosted on IRCCyN webpages. Roméo now owns its proper subdomain: http://romeo.rts-software.org.
All the future developments and releases of Roméo will now be reported at this new URI. Please update your bookmarks!