3 ms·Ariane 5 bug was formally verified.by varjag 5y agoAriane 5 bug was formally verified.sigzero 5y agoNo it really wasn't.