> Rather than force devs to use formal methods I don't think professional liability would require all developers to use formal methods any more than it would r

> Rather than force devs to use formal methods I don't think professional liability would require all developers to use formal methods any more than it would require all practicing software developers to become licensed engineers. It may require companies to hire a licensed engineer to sign off on projects and it could require those engineers to be insured so they may want to use formal methods on a risky project to keep their rates down. The end result, I think, is the same: pressure to do better by the standards of the state of the art and not skimp on privacy and security.