3 ms·

I'm not by my work computer but look up any of the ISO-standardised dev environments where they need to apply formal methods