Completed
Introduction
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Formal Verification of Embedded Linux Systems Using Trace-Based Models
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Motivation
- 3 Approach
- 4 Single Steps
- 5 State Machines
- 6 Model Properties
- 7 RealTime Properties
- 8 Instrumenting System
- 9 Execution Path Token
- 10 System Instrumentation
- 11 Log of Events
- 12 Model Visualization
- 13 Stochastic Analysis
- 14 RealTime Systems Analysis
- 15 IOQ Handling
- 16 IOQ Measuring
- 17 Conclusion
- 18 Project