Branimation
Résumé
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.
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...