Comment on Formally Verified Software in the Real World (2018)parentComments−kccqzy7yYes I agree, but still with significantly more rigor than your typical operating system (Linux, Windows, macOS).
Comments
Yes I agree, but still with significantly more rigor than your typical operating system (Linux, Windows, macOS).