3 ms·Formal verification of legacy code after 10 years of production use2 points by alexamici 11y ago