Except, forces that be won't be particularly thrilled about letting a formally verifiable, safe and secure operating system dominate the market. There's going t

Except, forces that be won't be particularly thrilled about letting a formally verifiable, safe and secure operating system dominate the market. There's going to be serious resistance as long as humans are at the top. Maybe strong AI can help in this regard. Or maybe it will just emulate the prejudices of its creators.