3 ms·> you can't really write software without bugs Formal verificationby dqpb 5y ago> you can't really write software without bugs Formal verification