"There are two things I am sure of after all these years: there is a growing societal need for high assurance software, and market forces are never going to pro

"There are two things I am sure of after all these years: there is a growing societal need for high assurance software, and market forces are never going to provide it." - Earl Boebert Ross Anderson has a good reply to your statement in the 7th chapter of his book, 'Security Engineering'. [1] [1] https://www.cl.cam.ac.uk/~rja14/Papers/SEv2-c07.pdf https://www.cl.cam.ac.uk/~rja14/Papers/SEv2-c07.pdf