Completed
Heisenbergs logs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Programming Devices and Services with P
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Devices and Services
- 3 concurrency reactivity and failure
- 4 Heisenberg uncertainty principle
- 5 Azure storage example
- 6 Azure integration tests
- 7 Heisenbergs logs
- 8 P is an attack
- 9 P programmer workflow
- 10 Modeling and programming
- 11 Successes
- 12 PSharp
- 13 Code Structure
- 14 Asynchronous Systems
- 15 Monitors
- 16 DepthFirst Search
- 17 Value Proposition
- 18 Delaying Scheduler
- 19 Prioritizing Search
- 20 Randomization
- 21 Random Sampling
- 22 Partial Order Reduction
- 23 Symbolic Execution
- 24 Compositional Reasoning
