Proprietary software. This is mostly stuff used for options procing. Every options trading house has a substantial investment in proprietary options pricing software, mostly using customized adaptations of these models rather than what you would find in the literature.