Y
Hacker News
new
|
ask
|
show
|
jobs
Stanford AA228V: Validation of Safety Critical Systems (2025)
(
youtube.com
)
3 points
by
imakwana
32 days ago
1 comments
imakwana
32 days ago
Associated textbook: Algorithms for Validation (2026):
https://algorithmsbook.com/validation/files/val.pdf
link