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.
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.
Otherwise it is a pretty meaningless thing to say. Not even formally verified software is definitely bug free.