Systematic translation rules from ASTD to Event-B - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Systematic translation rules from ASTD to Event-B


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

Dates and versions

inria-00525182 , version 1 (11-10-2010)


  • 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⟩


55 View
0 Download


Gmail Facebook Twitter LinkedIn More