Roméo 3.5.0

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

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.

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^