articleInternational Journal on Software Tools for Technology TransferApr 7, 2010Closed access

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

JAJean-Raymond AbrialMBMichael ButlerSHStefan HallerstedeTSThai Son HoangFMFarhad Mehta

Délégation Provence et Corse · University of Southampton · +3 more institutions

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

673
total citations
FWCI
38.79
Percentile
100%
References
44
Citations per year

Authors

6

Topics & keywords

Topics
Keywords
  • Computer science
  • Programming language
  • Mathematical proof
  • Gas meter prover
  • Theory of computation
  • Event (particle physics)
  • Abstraction
  • Consistency (knowledge bases)
UN Sustainable Development Goals
  • Life below water
No related works found for this paper.