Romé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.
We 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