3 ms·
You might not ever reach 100% confidence, but formally verified code is a whole lot more likely to be correct than code that is not formally verified.
by aliceryhl 6y ago
You might not ever reach 100% confidence, but formally verified code is a whole lot more likely to be correct than code that is not formally verified.