Mini-course around Event-B and Rodin, lecture 3

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=Y5OUtq8cdV8


Duration: 52:35
914 views
1

Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code. The Event-B method is implemented in the Rodin tool. This lecture is part of a mini-course on Event-B and Rodin. The mini-course will present several examples: (1) Handling Cars on a Bridge (2) A Mechanical Press Controller (3) A simple File Transfer Protocol (4) A Mobile Phone Routing Protocol Together with each example, principles around Event-B and Rodin are gradually enriched. This lecture will do the ΓÇ£cars of a bridgeΓÇ¥ example.



Other Videos By Microsoft Research


2016-08-16Mini-course around Event-B and Rodin
2016-08-16Learning Language from its Perceptual Context
2016-08-16Blue skies to ground truth: Machine learning for Kinect human motion capture
2016-08-16Create & Submit a WP App in 30 Minutes; WhatΓÇÖs New for Developers in Windows Phone Mango
2016-08-16Gadgeteer
2016-08-16Developing cloud enabled applications for WP7 using Hawaii SDK
2016-08-16Butterfly Analysis: Adapting Dataflow Analysis to Dynamic Parallel Monitoring
2016-08-16Mini-course around Event-B and Rodin
2016-08-16How to force unsupervised neural networks to discover the right representation of images
2016-08-16On Optimal Multidimensional Mechanism Design
2016-08-16Mini-course around Event-B and Rodin, lecture 3
2016-08-16Intelligent Multicore Processor for Attention-based Object Recognition
2016-08-16Immersive Visual Communication with Depth
2016-08-16Applications 4
2016-08-16CFA2: Pushdown Flow Analysis for Higher-Order Languages
2016-08-16High-Throughput Data-Intensive Computing: Shared-Scan Scheduling in Scientific Databases & the Cloud
2016-08-16Grace: a new object-oriented educational programming language
2016-08-16Extreme Learning Machine: Why Tuning Is Not Required in Learning?
2016-08-16Systems 3
2016-08-16Security and Software Development
2016-08-16Identifying Peer Effects through Randomized Trials in Networks


Tags:
microsoft research