Mini-course around Event-B and Rodin: hypervisor

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


Duration: 1:07:12
868 views
3

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 gives a status report of the hypervisor we are developing using Event-B.



Other Videos By Microsoft Research


2016-08-16Secure Computation with Sublinear Amortized Work
2016-08-16Fitting a Graph to Vector Data
2016-08-16Analytical Methods of Sound Field Synthesis: Theory and Applications
2016-08-16Using Extensions of Min-Entropy to Help with Key Agreement and Leakage Resilience
2016-08-16Presentation of 2011 Microsoft Research Faculty Fellowship Awards
2016-08-16Type-Directed Completion of Partial Expressions for API Discovery
2016-08-16Games for Learning in the 21st Century
2016-08-16Minion: a Fast and Scalable Constraint Solver
2016-08-16Beyond the Interface: Computing Transformed
2016-08-16Algebraic technique of classifying languages in families
2016-08-16Mini-course around Event-B and Rodin: hypervisor
2016-08-16Semantic Segmentation using Higher-Order Markov Random Fields
2016-08-16The percolation phase transition in the Hamming cube
2016-08-16Functional interfaces in higher-level synthesis
2016-08-16Principles of Humanoid Locomotion Control
2016-08-16Adaptive Graph-Based Algorithms for Online Semi-Supervised Learning & Conditional Anomaly Detection
2016-08-16Beyond the Phone: How to Rock Harder Using Azure
2016-08-16Learning causality from textual data
2016-08-16Constraints Driven Learning for Natural Language Understanding
2016-08-16Rotation Averaging and Optimization on Manifolds
2016-08-16Automated Malware Analysis


Tags:
microsoft research