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

Branimation

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

Abstract

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)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00410659 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More