Hacker News
new
top
best
ask
show
job
Stanford AA228V: Validation of Safety Critical Systems (2025)
(
www.youtube.com
)
3 points
by
imakwana
4 hours ago
1 comment
imakwana
4 hours ago
Associated textbook: Algorithms for Validation (2026):
https://algorithmsbook.com/validation/files/val.pdf