Challenges in Analysing Virtualisation Stacks - Dr Michael Tautschnig

Challenges in Analysing Virtualisation Stacks - Dr Michael Tautschnig

Alan Turing Institute via YouTube Direct link

Absence of Specifications

10 of 13

10 of 13

Absence of Specifications

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Challenges in Analysing Virtualisation Stacks - Dr Michael Tautschnig

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 Shared-responsibility model
  3. 3 Virtualisation Stack and Environment, SDN
  4. 4 Past work: Open-Source Software Analysis
  5. 5 Per-package Work Flow in Debian Set-up
  6. 6 Bugs Reported
  7. 7 Overall Analysis Status on Debian
  8. 8 Commonalities of these Efforts
  9. 9 Differences between the Domains
  10. 10 Absence of Specifications
  11. 11 Limited knowledge and Trust in Formal Methods
  12. 12 Caveats: Pick at most 2 (of 3)
  13. 13 Coping with Large Amounts of Code

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.