Release of Roméo v2.8.0

October 13, 2008 on 2:12 pm | In Releases |

A new version of Roméo has arrived!

The highlights of version 2.8.0 are:
- Support for time inhibitor arcs to handle stopwatches;
- The introduction of parameters in the model;
- A revamped TCTL model-checker, working for time Petri nets and stopwatch Petri nets possibly with parameters (in which case the result is a set of constraints on the parameters such that the property is true).

And hopefully, a fair amount of bug fixes.

You can find sources and a few binaries in the download section.

Edit (10/13/08): It seems that a few bugs are still hanging around. Fixed versions will be available by tomorrow along with the Windows binaries.
Edit (10/14/08): The bugs spotted at the last minute were swiftly eradicated, you can now proceed to the download section.
Edit (11/26/08): There was a bug when launching the simulator on some Mac OS X configurations. It has been fixed and the Mac OS X binary has been updated.

No Comments yet

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^