Rodin tool

Rodin
Original author(s)Jean-Raymond Abrial, Michael Butler, et al.
Developer(s)European Union Projects:
  • RODIN (2004–2007)
  • DEPLOY (2008–2012)
  • ADVANCE (2011–2014)
Initial release2007
Written inJava
PlatformEclipse IDE
TypeSoftware tool
LicenseOpen source
Websitewww.event-b.org

The Rodin tool is a software tool for formal modelling in Event-B. It was developed as part of several collaborative European Union projects, including initially the RODIN project (2004–2007).

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.