Mini-course around Event-B and Rodin
Channel:
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=2GP1pJINVT4
77Event-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-16 | Systems 3 |
| 2016-08-16 | Security and Software Development |
| 2016-08-16 | Identifying Peer Effects through Randomized Trials in Networks |
| 2016-08-16 | Social networks, institutions, and the process of globalization |
| 2016-08-16 | Keynote - Inside Windows Azure, MicrosoftΓÇÖs Cloud OS |
| 2016-08-16 | The TPTP World ΓÇô Infrastructure for Automated Reasoning |
| 2016-08-16 | Competitive Contagion in Networks |
| 2016-08-16 | Mini-course around Event-B and Rodin, lecture 2 |
| 2016-08-16 | Applications 2 |
| 2016-08-16 | Coming to Grips with Complexity in Computer-Aided Verification |
| 2016-08-16 | Mini-course around Event-B and Rodin |
| 2016-08-16 | Frenetic: A Network Programming Language |
| 2016-08-16 | Applications 3 |
| 2016-08-16 | Co-opetition in network tasks |
| 2016-08-16 | Phase Transitions for Modified Erdos-Renyi Processes |
| 2016-08-16 | Applications 1 |
| 2016-08-16 | PEPSI: Privacy-Enhanced Participatory Sensing Infrastructure |
| 2016-08-16 | Windows Azure Tutorial, Part 2 |
| 2016-08-16 | Systems 2 |
| 2016-08-16 | Systems 1 |
| 2016-08-16 | Efficient space-variant deconvolution' |
Tags:
microsoft research