Completed
Introduction
Class Central Classrooms beta
YouTube playlists curated by Class Central.
Classroom Contents
Formal Specification and Taming Other People's Tech
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 What is formal specification
- 3 Mariannes background
- 4 How to think about formal specification
- 5 The problem with formal specification
- 6 The token bucket algorithm
- 7 State machines
- 8 What states should be impossible
- 9 How do we prevent these states
- 10 What should this look like
- 11 Loops
- 12 Focus on Email Types
- 13 Undesirable vs Impossible
- 14 Recap
- 15 Inspiration
