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