3 ms·I'm wondering if they used formal verification and how they tested the software.by crdoconnor 10y agoI'm wondering if they used formal verification and how they tested the software.