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.[1][2] It was developed as part of several collaborative European Union projects, including initially the RODIN project (2004–2007).[3]

  1. ^ Abrial, Jean-Raymond, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, and Laurent Voisin. (2010). "Rodin: An open toolset for modelling and reasoning in Event-B". International Journal on Software Tools for Technology Transfer. 12: 447–466. doi:10.1007/s10009-010-0145-y.{{cite journal}}: CS1 maint: multiple names: authors list (link)
  2. ^ Butler, Michael, and Stefan Hallerstede (2007). The Rodin formal modelling tool (PDF). FACS 2007 Christmas Workshop: Formal Methods in Industry. pp. 1–5.{{cite conference}}: CS1 maint: multiple names: authors list (link)
  3. ^ "RODIN: Rigorous Open Development Environment for Complex Systems". UK: Newcastle University. Retrieved 13 June 2023.