Skip to Main content Skip to Navigation
Reports

About Probabilistic Event-B

Mohamed Amine Aouadhi 1 Benoit Delahaye 2 Arnaud Lanoix 1 
2 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Event-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.
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01151594
Contributor : Benoît Delahaye Connect in order to contact the contributor
Submitted on : Friday, May 15, 2015 - 11:33:42 AM
Last modification on : Wednesday, April 27, 2022 - 4:22:15 AM
Long-term archiving on: : Thursday, April 20, 2017 - 12:11:31 AM

File

document.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01151594, version 2

Citation

Mohamed Amine Aouadhi, Benoit Delahaye, Arnaud Lanoix. About Probabilistic Event-B. [Research Report] LINA-University of Nantes. 2015. ⟨hal-01151594v2⟩

Share

Metrics

Record views

179

Files downloads

72