Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Rodin tool
open-in-new
<p>The Rodin tool is a <a href="/facts/Software_tool/wWaFqCFw">software tool</a> for formal modelling in <a href="/facts/Event-B/qkkqG05M">Event-B</a>. It was developed as part of several collaborative <a href="/facts/European_Union/6GYcR8qM">European Union</a> projects, including initially the RODIN project (2004–2007). </p>