Facebook on Thursday announced the acquisition of Monoidics, a London-based startup that specializes in creating code verification software used to help locate and correct coding errors. Financial terms of the deal were not disclosed although the general consensus is that the social network paid somewhere in the low millions of pounds for the company’s assets.

In a Facebook post on the subject, Facebook London’s site lead Philip Su said the asset acquisition represents the company’s investment in the quality of their mobile applications platform and also their people. A spokesperson for Facebook noted that Monoidics produce some of the best automatic formal verification and analysis software in the industry. These assets will be applied to Facebook’s mobile app development, we’re told.

A statement posted on Monoidics website said joining the Facebook team opens up a new world of opportunity for the technology.

Monoidics was founded in 2009 as a direct result of a research product conducted by co-founder Dino DiStefano. Along with two colleagues, they developed a program called Infer that is said to use mathematical principals to determine if a given piece of software will execute as it should. Alternately, it is able to pinpoint critical flaws like memory leaks in code.

Once the deal is complete, some members of Monoidics will join Facebook’s London team. It’s unclear at this hour how many staffers will be relocated to Facebook or how many will be out of a job as a result of the acquisition.