Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 442Kb |
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.
| Item Type: | Teaching Resource |
|---|---|
| Subjects: | Methodology Tool developments Tool developments > Rodin plug-ins Training |
| 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
