Completed
Runtime Model Checking
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Safety to the Weak! Security Through Feebleness - An Unorthodox Manifesto
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Prevent Bugs
- 3 Why use Turingcomplete languages
- 4 What are Turingcomplete languages
- 5 Verilog VHDL
- 6 Verification
- 7 Networking is a mess
- 8 Traditional switch
- 9 Turing
- 10 SoftwareDefined Networking
- 11 Network Verification
- 12 Network Specifications
- 13 Key Unverifiable Component
- 14 SDI
- 15 Base
- 16 Soft
- 17 Finite State Modeling
- 18 Finite State Simulation
- 19 Runtime Model Checking
