3 ms·
Software that is not formally verified contains bugs. All known correctness bugs are fixed (except experimental features) - this is just a reminder that you ne
by losfair 4y ago
Software that is not formally verified contains bugs.
All known correctness bugs are fixed (except experimental features) - this is just a reminder that you need more than one layers of defense for something that stores your critical data.
- IshKebab 4y agoNormally when people say "it's not bug free" they mean that there are important known bugs that haven't been fixed. Otherwise it is a pretty meaningless thing to say. Not even formally verified software is definitely bug free.