Branimation
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.
Domains
Software Engineering [cs.SE]
Origin : Files produced by the author(s)
Loading...