Release of Roméo v2.6.1

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

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.

1 Comment

  1. Order phentermine phentermine online.

    Cheap phentermine. Phentermine. Phentermine online purchase. Phentermine cheap. Phentermine risk. Cheap phentermine diet pill.

    Trackback by Phentermine. — February 3, 2007 #

Sorry, the comment form is closed at this time.

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^