---
title: "CS 238V: Verification & Validation"
type: course-overview
source-count: 15
status: active
confidence: high
---

# CS 238V: Verification & Validation

Stanford course with 15 lecture notes.

## Lecture Timeline

- **2024-01-07** — [SU-CS238V JAN072025](../raw/course/cs238v/kbhsu_cs238v_jan072024.md)
- **2025-01-09** — [SU-CS238V JAN092025](../raw/course/cs238v/kbhsu_cs238v_jan092025.md)
- **2025-01-14** — [SU-CS238V JAN142025](../raw/course/cs238v/kbhsu_cs238v_jan142025.md)
- **2025-01-16** — [SU-CS238V JAN162025](../raw/course/cs238v/kbhsu_cs238v_jan162025.md)
- **2025-01-21** — [SU-CS238V JAN212025](../raw/course/cs238v/kbhsu_cs238v_jan212025.md)
- **2025-01-28** — [SU-CS238V JAN282025](../raw/course/cs238v/kbhsu_cs238v_jan282025.md)
- **2025-01-30** — [SU-CS238V JAN302025](../raw/course/cs238v/kbhsu_cs238v_jan302025.md)
- **2025-02-04** — [SU-CS238V FEB042025](../raw/course/cs238v/kbhsu_cs238v_feb042025.md)
- **2025-02-06** — [SU-CS238V FEB062025](../raw/course/cs238v/kbhsu_cs238v_feb062025.md)
- **2025-02-11** — [SU-CS238V FEB112025](../raw/course/cs238v/kbhsu_cs238v_feb112025.md)
- **2025-02-13** — [SU-CS238V FEB132025](../raw/course/cs238v/kbhsu_cs238v_feb132025.md)
- **2025-02-18** — [SU-CS238V FEB182025](../raw/course/cs238v/kbhsu_cs238v_feb182025.md)
- **2025-02-25** — [SU-CS238V FEB252025](../raw/course/cs238v/kbhsu_cs238v_feb252025.md)
- **2025-03-06** — [SU-CS238V MAR062025](../raw/course/cs238v/kbhsu_cs238v_mar062025.md)

## Other Notes

- [SU-CS238V MAR042025](../raw/course/cs238v/kbhsu_cs238v_mar0242025.md)

## Key Topics Referenced

- [[Adaptive Importance Sampling]]
- [[Aircraft Collision Avoidance]]
- [[Calibration Plot]]
- [[Conjugate Prior]]
- [[Counterfactuals]]
- [[Covariance Matrix]]
- [[Evaulating Model Fitness]]
- [[Explainability]]
- [[Failure Distribution]]
- [[Falsification]]
- [[Generative Model]]
- [[Importance Sampling]]
- [[Joint Probability Distribution]]
- [[Linear Temporal Logic]]
- [[Markov Chain Monte Carlo]]
- [[Maximum A Posteriori Estimate]]
- [[Maximum Likelihood Parameter Learning]]
- [[Mle For Gaussian]]
- [[Model Class]]
- [[Model Fitting]]
- [[Preference Elicitation]]
- [[Probabilistic Programming]]
- [[Property Specification]]
- [[Quantile Quantile Plot]]
- [[Rejection Sampling]]
- [[Runtime Monitoring]]
- [[Set Operations]]
- [[Signal Temporal Logic]]
- [[System Modeling]]

