3 ms·> all software has bugs Nope. See (for example) CompCert, SeL4, ...by mbrodersen 7y ago> all software has bugs Nope. See (for example) CompCert, SeL4, ...