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

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


Duration: 54:22
1,653 views
12

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-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
2016-08-16Social networks, institutions, and the process of globalization
2016-08-16Keynote - Inside Windows Azure, MicrosoftΓÇÖs Cloud OS
2016-08-16The TPTP World ΓÇô Infrastructure for Automated Reasoning
2016-08-16Competitive Contagion in Networks
2016-08-16Mini-course around Event-B and Rodin, lecture 2
2016-08-16Applications 2
2016-08-16Coming to Grips with Complexity in Computer-Aided Verification
2016-08-16Mini-course around Event-B and Rodin
2016-08-16Frenetic: A Network Programming Language
2016-08-16Applications 3
2016-08-16Co-opetition in network tasks
2016-08-16Phase Transitions for Modified Erdos-Renyi Processes
2016-08-16Applications 1
2016-08-16PEPSI: Privacy-Enhanced Participatory Sensing Infrastructure
2016-08-16Windows Azure Tutorial, Part 2


Tags:
microsoft research