Flows
From Event-B
Revision as of 14:07, 24 September 2009 by imported>Alexili (New page: == Flows plugin == ---- Flows plug-in allows addition of flow expression to machines. Such expressions constrain the order of event execution without having to explicitly constrain guar...)
Flows plugin
Flows plug-in allows addition of flow expression to machines. Such expressions constrain the order of event execution without having to explicitly constrain guards in a machine itself. The result is often a simpler model that is easier to read and verify.
The plug-in is currently in the development stage and is to be released by the end of October 2009.
