A new version of Roméo has been released. This mostly fixes several bugs in the GUI.
Download this new version in the download section
08/09/2011: Updated the Mac OS X version to fix a miscompilation of the UPPAAL DBM Lib producing incorrect results
No Comments yet
Sorry, the comment form is closed at this time.