4 ms·

Nit: it's formally specified, not formally verified (which is a really rare and difficult feat in comparison).