Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Romeo Model Checker
open-in-new
<p>Roméo is an integrated tool <a href="/facts/Software_platform/DmKwp5Bk">environment</a> for <a href="/facts/Model_checking/FwvKMlw9">modeling</a>, validation and verification of <a href="/facts/Real-time_computing/p9HxgL4L">real-time</a> systems modeled as time Petri Nets or stopwatch Petri Nets, extended with parameters. </p><p>The tool has been developed by the Real-Time Systems group at LS2N lab (<a href="/facts/%25C3%2589cole_centrale_de_Nantes/g1SXe1bT">École centrale de Nantes</a>, <a href="/facts/University_of_Nantes/3KqJCJWl">University of Nantes</a>, <a href="/facts/French_National_Centre_for_Scientific_Research/z8RBcY1j">CNRS</a>) in <a href="/facts/Nantes/nFEAy6uk">Nantes</a>, <a href="/facts/France/CxIeIKM3">France</a>. </p>