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.

That was true in the past, but Intel seems to have scaled back or stopped using formal verification, resulting in a dip in quality. The article cites a paper from 2008, but Dan Luu notes (op. cit.) that from 2013-2014 Intel may have scaled back their formal verification efforts in favor of “velocity.”