Roméo 2.10.0

February 13, 2012 on 2:28 pm | In Releases |

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.

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^