Re:Coming Soon: Machine-Checked Proofs in Everyday Development
by z3t4 on Sunday December 31, 2017 @02:31PM
(#16042299)
I find the best approach is the keep the code base small enough so you can keep everything in your head. Knowing that if you change something you also have to update this and that , and make sure feature x, y, z still works (which could be done with automated tests).
[ Parent
| on HN ]
There are no comments on this comment yet.