Settings

Theme

Stanford AA228V: Validation of Safety Critical Systems (2025)

youtube.com

3 points by imakwana · 1 comment

Reader
1 thread
imakwanaOP

Associated textbook: Algorithms for Validation (2026): https://algorithmsbook.com/validation/files/val.pdf

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection