Completed
Verifying Nuclear Power Plants
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
