I don't know how it's used in practice, but aviation companies dump a lot of money into formal methods research because getting their code certified to meet sca

I don't know how it's used in practice, but aviation companies dump a lot of money into formal methods research because getting their code certified to meet scary specs is very expensive and they don't want to do it for every bug fix.