Completed
Opening a Dialogue
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Applicable and Achievable Formal Verification
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Background
- 3 Formal Verification (Expectation)
- 4 Is Formal Verification For Me?
- 5 Safety-Critical Systems
- 6 IEC 61508 - The "Golden Boy" Safety Standard
- 7 Case 1: End-To-End Verification
- 8 Verifying Nuclear Power Plants
- 9 Case 2: Smart Device Verification
- 10 Verifying Smart Sensors
- 11 Examples
- 12 Vulnerability Assessment tools
- 13 Annotated Specifications
- 14 Stand-alone Specifications
- 15 Design Specifications
- 16 Property Based Approach (tools)
- 17 Benefits of Specifications
- 18 Now what?
- 19 Opening a Dialogue
