Profile cover photo
Profile photo
Event-B
36 followers -
This is the official page related to Event-B and its dedicated platform: Rodin.
This is the official page related to Event-B and its dedicated platform: Rodin.

36 followers
About
Event-B's posts

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.
Wait while more posts are being loaded