creators_name: Iliasov, Alexei
creators_id: "Alexei Iliasov" <Alexei.Iliasov@newcastle.ac.uk>
type: teaching_resource
datestamp: 2011-01-18 14:05:51
lastmod: 2011-01-18 14:05:51
metadata_visibility: show
title: Training materials on the flow tool (release - Jan 2011) 
ispublished: unpub
subjects: deploy_method
subjects: deploy_tooldev
subjects: deploy_tooldev_rodinplugins
subjects: deploy_training
full_text_status: public
abstract: 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.
citation:   Iliasov, Alexei   Training materials on the flow tool (release - Jan 2011).  [Teaching Resource]    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/268/1/flows-tool-.pdf

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>