4 ms·Formally proven code is not necessarily bug-free or even ' rock solid and predictable'.by KSteffensen 8y agoFormally proven code is not necessarily bug-free or even ' rock solid and predictable'.