About Probabilistic Event-B - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

About Probabilistic Event-B

Benoit Delahaye
Arnaud Lanoix

Résumé

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.
Fichier principal
Vignette du fichier
document.pdf (496.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01151594 , version 1 (13-05-2015)
hal-01151594 , version 2 (15-05-2015)

Identifiants

  • HAL Id : hal-01151594 , version 2

Citer

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

Partager

Gmail Facebook X LinkedIn More