HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Systematic translation rules from ASTD to Event-B

Abstract : This article presents a set of translation rules to generate Event-B machines from process-algebra based specification languages such as astd. Illustrated by a case study, it details the rules and the process of the translation. The ultimate goal of this systematic translation is to take advantage of Rodin, the Event-B platform to perform proofs, animation and model-checking over the translated specification.
Complete list of metadata

Contributor : Ist Inria Nancy Grand Est Connect in order to contact the contributor
Submitted on : Monday, October 11, 2010 - 1:08:01 PM
Last modification on : Tuesday, October 19, 2021 - 4:09:22 PM


  • HAL Id : inria-00525182, version 1



Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau. Systematic translation rules from ASTD to Event-B. Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.245-259. ⟨inria-00525182⟩



Record views