Industrial deployment of system engineering methods providing high dependability and productivity


Training materials on the flow tool (release - Jan 2011)

Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)



The Flows plugin is an extension of the Event B Rodin platform. Its purpose is to allow a modeller to verify a range of properties related to the order of event enabling in an Event B model. The tool offers a simple graphical notation and is meant to complement the core Event B development method.

Item Type:Teaching Resource
Tool developments
Tool developments > Rodin plug-ins
ID Code:268
Deposited By:Prof A Romanovsky
Deposited On:18 Jan 2011 14:05
Last Modified:18 Jan 2011 14:05

Repository Staff Only: item control page

Deploy-Project - All right reserved