A major new feature in v2.6: an on-the-fly TCTL model checker for Time Petri Nets

April 25, 2005 on 5:16 pm | In Releases | 4 Comments

Recent efforts focused on the conception of an on-the-fly TCTL model checker for Time Petri Nets. It has recently been implemented in the Mercutio computation module.

To our knowledge, Roméo is the first TPN-analysis tool that implements TCTL model-checking.

Roméo v2.6.0 is available in the download 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^