Roméo 2.10.1
February 29, 2012 on 3:07 pm | In Releases | Comments OffRoméo v2.10.1 has just been released.
This is a bugfix release with several problems in the GUI fixed. A few unmaintained or obsolete features have also been disabled.
Download this new version in the download section.
Roméo 2.10.0
February 13, 2012 on 2:28 pm | In Releases | Comments OffWe are happy to announce the release of Roméo 2.10.0! The highlights of this version are:
- Support for integer parameter synthesis,
- New marking properties for TCTL model-checking: deadlock (no transition is enabled/firable) and bounded(k) (no place contains more than k tokens)
It also features many bugfixes. Download this new version in the download section
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^