Mini-course around Event-B and Rodin

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


Duration: 52:20
2,986 views
19

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. This lecture will start the development of sequential programs.



Other Videos By Microsoft Research


2016-08-16Finding Incentives to Secure Internet Routing
2016-08-16How to write a great research paper
2016-08-16Convergence of the Abelian sandpile
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?


Tags:
microsoft research