top | item 6011179 (no title) IsThisObvious | 12 years 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. discuss order hn newest DanBC|12 years ago A blog post about the process would be fascinating, and probably something that many on HN would be interested in.
DanBC|12 years ago A blog post about the process would be fascinating, and probably something that many on HN would be interested in.
DanBC|12 years ago