2 ms·It's to do with the ability to formally reason about the code using formal methods/verification etc...by exdsq 6y agoIt's to do with the ability to formally reason about the code using formal methods/verification etc...