Banks, insurance, and aviation all run on very well-tested established code, and are very, very resistant to change.

But people who know cobol and fortran are getting fewer and further between, so they are slowly changing. Fortunately with modern software development practices, you can much more easily write verified software.