3 ms·It's part of the field of formal methods.by exdsq 7y agoIt's part of the field of formal methods.