3 ms·
Do you have any tools to attempt prove correctness of critical code beyond traditional testing?
by jonnypotty 6y ago
Do you have any tools to attempt prove correctness of critical code beyond traditional testing?
- hartator 6y agoYou have to ask that on the Reddit.
- jonnypotty 6y agoOh. Oops.