Post has attachment
A demonstration of the iUML-B State-machines plug-in for Rodin provided by Dr Colin Snook (http://www.ecs.soton.ac.uk/people/cfs). It shows how to use state-machines in an Event-B machine, how to elaborate statemachines in a refinement and how they can be animated using ProB.
3 plus ones
Wait while more posts are being loaded