Re:We have proof automation now
by hobofan on Monday July 27, 2026 @06:09AM
(#49067385)
> software is 1/10, reducing that to 1/100 makes a bog difference
I fully agree! I'm all for moving the needle towards moving the needle towards more formal verification, but what GP is suggesting is full verification of programs, which is more akin to trying to achieve a 1/10^6 bug rate.
I fully agree! I'm all for moving the needle towards moving the needle towards more formal verification, but what GP is suggesting is full verification of programs, which is more akin to trying to achieve a 1/10^6 bug rate.