3 ms·Safety critical systems demand formal verification. This wasn't bad luck, this was poor craft.by cmpxchg8b 8d agoSafety critical systems demand formal verification. This wasn't bad luck, this was poor craft.