About Probabilistic Event-B

AELOS_HCERES2020Event-B is a formal method used for the development of complex systems which gives developers the opportunity to construct models of systems that are correct by construction. However, Event-B have some lacks and some properties cannot be formalised in the current version of Event-B. We propose then in this document an extension of the standard Event-B language allowing the development of probabilistic systems