3000+ Courses from California Community Colleges

Formal Verification Made Easy - and Fast

Formal Verification Made Easy - and Fast

Linux Plumbers Conference via YouTube Direct link

Tracing

10 of 18
Previous
Next

10 of 18

Tracing

Class Central Classrooms beta

YouTube playlists curated by Class Central.

Classroom Contents

Formal Verification Made Easy - and Fast

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Introduction
  2. 2 Linux is complex
  3. 3 Linux is critical
  4. 4 What do we expect from Linux
  5. 5 Test cases
  6. 6 What do we need
  7. 7 Models
  8. 8 Generics
  9. 9 Modeling
  10. 10 Tracing
  11. 11 State machines
  12. 12 Last year
  13. 13 State
  14. 14 Authority
  15. 15 Other verification methods
  16. 16 Restrictions
  17. 17 Blocking
  18. 18 Daniel

Never Stop Learning.

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

Sign up for free
Someone learning on their laptop while sitting on the floor.