From Event-B Specifications to Programs for Distributed Algorithms - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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.
No file

Dates and versions

hal-00862056 , version 1 (15-09-2013)

Identifiers

Cite

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⟩
259 View
1 Download

Altmetric

Share

Gmail Facebook X LinkedIn More