The Verification of a Distributed System

The Verification of a Distributed System

GOTO Conferences via YouTube Direct link

Intro

1 of 36

1 of 36

Intro

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

The Verification of a Distributed System

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

  1. 1 Intro
  2. 2 About Caitie
  3. 3 What is a distributed system
  4. 4 Were all building distributed systems
  5. 5 Any size system
  6. 6 Overview
  7. 7 Github Page
  8. 8 Testing Properties
  9. 9 Formal Verification
  10. 10 Formal Specifications
  11. 11 Our Clock
  12. 12 Amazon
  13. 13 Highlights
  14. 14 Formal Methods
  15. 15 Unit Tests
  16. 16 Type Systems
  17. 17 Integration Tests
  18. 18 Staging Environment
  19. 19 Error Handling
  20. 20 Property Based Testing
  21. 21 QuickCheck
  22. 22 ScalaCheck
  23. 23 Fault Injection
  24. 24 Netflix Simian Army
  25. 25 Jepsen
  26. 26 Distributed Systems
  27. 27 Game Days
  28. 28 How to Run a Game Day
  29. 29 Stripes Game Day
  30. 30 Testing in Production
  31. 31 Monitoring is not testing
  32. 32 Verification
  33. 33 Lineage Driven Fault Injection
  34. 34 Netflix Fault Injection
  35. 35 Conclusion
  36. 36 Quote

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.