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
No Comments yet
Sorry, the comment form is closed at this time.