Difference between revisions of "Flows"
From Event-B
Jump to navigationJump to searchimported>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...) |
imported>Mathieu m (Category:Plugin) |
||
Line 1: | Line 1: | ||
− | |||
== Flows plugin == | == Flows plugin == | ||
Line 7: | Line 6: | ||
The plug-in is currently in the development stage and is to be released by the end of October 2009. | The plug-in is currently in the development stage and is to be released by the end of October 2009. | ||
+ | |||
+ | |||
+ | [[Category:Plugin]] |
Revision as of 17:19, 24 September 2009
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.