If MS really wanted to trounce the competition they’d invest in building a formally verified OS, compiler[s], and a lot of their application software, too.
I’m betting the first company to make a formally-verified general-purpose consumer OS will have a tremendous opportunity to seize the market; the same with the first formally-verified fully-functional word-processor.
“I’m betting the first company to make a formally-verified general-purpose consumer OS will have a tremendous opportunity to seize the market; the same with the first formally-verified fully-functional word-processor.”
Bingo.
That would be a company to invest in.