Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

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

2010666 citationsJournal Article

Authors

Jean-Raymond Abrial · Délégation Provence et Corse

Michael Butler · University of Southampton

Stefan Hallerstede · Heinrich Heine University Düsseldorf

Thai Son Hoang · ETH Zurich

Laurent Voisin · Centre Paul Albert-Février

Topics & Keywords

Formal Methods in Verification Logic, programming, and type systems Distributed systems and fault tolerance

UN Sustainable Development Goals

Life below water

Publication Details

Published in: International Journal on Software Tools for Technology Transfer

Volume 12, Issue 6, pp. 447-466

DOI: 10.1007/s10009-010-0145-y

Field-Weighted Citation Impact: 38.58

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