Completed
Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Programming Languages for High-Assurance Vehicles
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Debugging
- 3 Embedded Systems
- 4 Modern Vehicles
- 5 Full Control
- 6 Sandboxing
- 7 Verification Tools
- 8 Diversity of Properties
- 9 DARPA
- 10 Embedded DSL
- 11 Embedded Haskell
- 12 Embedded Concrete
- 13 Conditional Expressions
- 14 Automatic Differentiation
- 15 Algebra
- 16 Type Classes
- 17 Automatic Appreciation
- 18 safety case
- 19 road show
- 20 Red team analysis
- 21 Lessons learned
- 22 Filtering
- 23 Open Source
