3 ms·
CompCert is an example of 100% proven correct software. There are other examples out there. Verification tools are getting better every day, making it less cost
by mbrodersen 5y ago
CompCert is an example of 100% proven correct software. There are other examples out there. Verification tools are getting better every day, making it less costly to prove code correct.