Intel's Pentium Bug Fix Is Proposed as Solution for Dark Pools
- Company was founded by mathematician and former trader
- UBS was fined $14.4 million for dark-pool violations
This article is for subscribers only.
Modern markets are driven by software algorithms that humans struggle to debug. To stamp out problems, financial regulators should use the same technique Intel Corp. has deployed following an infamous chip crisis in the 1990s, according to a London-based technology firm.
Rather than only providing pages of text describing their trading systems, dark-pool operators should give regulators mathematical models that show precisely how they work, Aesthetic Integration Ltd. told the U.S. Securities and Exchange Commission in a letter last week. The code could then be examined with formal verification.