Event-B Examples Clause Samples

Event-B Examples. Some Event-B examples has been deposited at the DEPLOY repository [DEP] with links from the Event-B Wiki [EBa]. The direct URL location is http: //▇▇▇▇.▇▇▇▇▇-▇.▇▇▇/▇▇▇▇▇.▇▇▇/▇▇▇▇▇-▇_▇▇▇▇▇▇▇▇. The list of the cur- rent examples is as follows. D10.1 “Teaching Materials”. • Modelling and Proof of a Tree-structured File System. • Link State Routing Development. • Development of a Network Topology Discovery Algorithm. • MIDAS: A Formally Constructed Virtual Machine. • UML-B Development of an ATM. • Real-time Controller for a Water Tank.