Rodin: an open toolset for modelling and reasoning in Event-B

By J. Abrial, Michael J. Butler, S. Hallerstede, Son Hoang, Farhad Mehta, Laurent Voisin. International Journal on Software Tools for Technology Transfer (STTT), 2010

724 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/8d5776bed086691c3e6aa63ad93cd334683527c6