Roméo 3.5.0

February 8, 2019 on 2:12 pm | In Releases |

This new release of Roméo brings:
- parameter synthesis for cost-bounded reachability
- safety control for untimed nets
- a few bugfixes and memory handling improvements

Get it the downloads 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^