Skip to Main content Skip to Navigation
New interface
Conference papers

From Event-B Specifications to Programs for Distributed Algorithms

Abstract : Formal proofs of distributed algorithms are long, hard and tedious. We propose a general approach, based on the formal method Event-B, to automatically generate correct programs of distributed algorithms. Our approach is implemented with a translation tool, called B2Visidia, that generates Java code from an Event-B specification related to distributed algorithms. The resulting code can be run on classical distributed computing systems. To execute the induced programs, we use a tool called Visidia that can be used for experimenting, testing and visualizing programs of distributed algorithms.
Complete list of metadata
Contributor : Dominique Méry Connect in order to contact the contributor
Submitted on : Sunday, September 15, 2013 - 9:28:45 PM
Last modification on : Saturday, June 25, 2022 - 7:41:14 PM




Mohammed Tounsi, Mohammed Mosbah, Dominique Méry. From Event-B Specifications to Programs for Distributed Algorithms. WETICE 2013: 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises., Jun 2013, Hammamet, Tunisia. ⟨10.1109/WETICE.2013.44⟩. ⟨hal-00862056⟩



Record views