We go beyond unit tests to verify that the algorithms can't create certain state... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		IsThisObvious on July 9, 2013 \| parent \| context \| favorite \| on: Anatomy of a pseudorandom number generator – visua... We go beyond unit tests to verify that the algorithms can't create certain states by any execution path, etc. Formal verification of software properties is an interesting field.

DanBC on July 9, 2013 [–]

A blog post about the process would be fascinating, and probably something that many on HN would be interested in.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact