A major new feature has been implemented in the new version of Roméo : a TPN and Scheduling-TPN graphical Simulator
And this is not the only new feature of this version! Indeed Roméo now deals with an optimized computation of the state class graph of scheduling-TPN (computation is based on a mix of polyhedral and DBM manipulation) and with the computation of a LTL graph thanks to the Zone-based method (Mercutio).
Roméo also benefits from an upgrade of the GUI (control panel, localization, …).
Roméo v2.5.0 is available in the download section.