Mini-course around Event-B and Rodin

Channel:
Microsoft Research
Subscribers:
345,000
Published on ● Video Link: https://www.youtube.com/watch?v=ku-lfjxM4WI


Duration: 56:46
350 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. This lecture continues the development of sequential programs.



Other Videos By Microsoft Research


2016-08-16Automated Malware Analysis
2016-08-16Something old, something new: memory management today and looking forwards
2016-08-16Web Graph Models: Properties and Applications
2016-08-16Welcome and Introduction
2016-08-16Some recent developments in approximate inference: learning and control
2016-08-16Fully Homomorphic Encryption over the Integers with Shorter Public Keys
2016-08-16Adding Domain Knowledge to Latent Topic Models
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


Tags:
microsoft research