[IsThisObvious]

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]

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