Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Stanford AA228V: Validation of Safety Critical Systems (2025) | Better HN
Stanford AA228V: Validation of Safety Critical Systems (2025)
(opens in new tab)
(youtube.com)
2 points
imakwana
8d ago
1 comments
Share
1 comments
default
newest
oldest
imakwana
OP
8d ago
Associated textbook: Algorithms for Validation (2026):
https://algorithmsbook.com/validation/files/val.pdf
j
/
k
navigate · click thread line to collapse