Flows
From Event-B
Revision as of 17:19, 24 September 2009 by imported>Mathieu (Category:Plugin)
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.
