Branimation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2009


Atif Mashkoor
  • Function : Author
  • PersonId : 854132
Jean-Pierre Jacquot
  • Function : Author
  • PersonId : 830614


Brama is one of animation tools for Event-B specifications supported by Rodin Platform. It enables quick validation of models. While animating an Event-B specification with Brama, sometimes we stumble upon some technical issues which prevent its execution. This paper addresses them through systematic transformations.
Fichier principal
Vignette du fichier
branimation.pdf (49.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00410659 , version 1 (21-08-2009)


  • HAL Id : inria-00410659 , version 1


Atif Mashkoor, Jean-Pierre Jacquot. Branimation. 2009. ⟨inria-00410659⟩
105 View
37 Download


Gmail Facebook X LinkedIn More