4 ms·

This quote shows up like canon in almost every thread that has anything to do with formally verifiable/verified software :P