AA228V / CS238V · Stanford

Validation of Safety-Critical Systems

Lecture slides. Each deck runs in the browser with its animations and videos, and shows the ink from lecture once it has been published.

  1. IntroductionChapter 1
  2. System ModelingChapter 2
  3. Property SpecificationChapter 3
  4. Falsification Through OptimizationChapter 4
  5. Falsification Through PlanningChapter 5
  6. Failure DistributionChapter 6
  7. Failure Probability EstimationChapter 7

In a deck: → / ← or tap the right / left side to move through slides. The eye button in the bottom toolbar shows or hides the ink.