Facebook (META -4.13%) has agreed to acquire the assets and technical team of U.K. software company Monoidics, according to a posting on Monoidics website.

Monoidics, which was formed in 2009, produces automatic formal verification and analysis software, products to improve quality control of applications, checking for bugs before apps are released.

London-based Facebook software engineer Philip Su wrote: "This asset acquisition represents our investment in the quality of our mobile applications platform ... [Monoidics] talented engineering team will join us to work Facebook's London office once the deal closes."

"When we met members of Facebook's engineering team, we realized how much we have in common: a relentless focus on quality, a desire to move fast and try new things, and a passion for making an impact," the company said.

Neither Facebook nor Monoidics released the terms of the deal.