No it isn't. It's a matter of maturity and mindset. The avionics industry has it - they use Ada and formal methods, most of the rest of the software developmen

No it isn't. It's a matter of maturity and mindset. The avionics industry has it - they use Ada and formal methods, most of the rest of the software development world doesn't. and they pay the price. Honestly I questioned the competence of the LSE when they outsourced their development for the first windows based trading system to a consulting shop. Simply put, they outsourced a core, critical part of the UK's financial infrastructure to boobs. However, I do see some hope in haskell and ocaml entering the financial market.