3 ms·What formal verification system did they use? Did they even execute it?by mrkeen 10mo agoWhat formal verification system did they use? Did they even execute it?