3 ms·Formally verified against what spec?by pastel8739 2mo agoFormally verified against what spec?naiveter 2mo agoThe one liner leadership keeps asking for.