Live data from Hacker News

Stanford AA228V: Validation of Safety Critical Systems (2025)

Post reply on HN

Print view View original

1–2 of 2 posts

Stanford AA228V: Validation of Safety Critical Systems (2025)

#1

Post by imakwana » Mon, May 18, 2026, 5:30 AM UTC

Stanford AA228V: Validation of Safety Critical Systems (2025)
youtube.com

Re: Stanford AA228V: Validation of Safety Critical Systems (2025)

#2

Post by imakwana » Mon, May 18, 2026, 5:30 AM UTC

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

Post reply on HN