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