Completed
Alloy
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Finding Bugs Without Running or Even Looking at Code
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 How do we find bugs
- 3 Talking to an expert
- 4 Writing
- 5 Alloy
- 6 Permission system
- 7 Alloy tool
- 8 Instance found
- 9 Adding attributes
- 10 Example diagram
- 11 Fact
- 12 Invariance assertions
- 13 Model Logic
- 14 RealLife Uses
- 15 Model Systems
- 16 Sequence of Operations
- 17 Alloy Model
- 18 API Model
- 19 The Cord Protocol
- 20 Summary
- 21 Resources
