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