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.
Sorry, the comment form is closed at this time.