4 ms·
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
by IsThisObvious 13y ago
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 13y agoA blog post about the process would be fascinating, and probably something that many on HN would be interested in.