Facebook has acquired certain assets of Monoidics, a code verification software company, to boost its mobile apps.

Facebook announced Thursday the acquisition of Monoidics, a London-based start-up that specializes in creating code verification software, to find and correct coding errors. Facebook did not disclose any financial terms of the deal but will hire some employees of the British code-verification developer.  Monoidics' engineering staff will be joining the social networking site's London office once the pending deal closes.

Facebook London's site lead, Philip Su, said in a Facebook post that the company is excited to have "smart, talented" Monoidics engineers in their workforce.

"Their entrepreneurial spirit and desire to make an impact make them great additions to Facebook. We can't wait to have them here!" Su wrote.

The London-based software company started in 2009, aiming to develop the best "automatic formal verification and analysis software in the industry," has gone far beyond its achievements with a worldwide reputation.

"We have always looked for ways we could do even more, and 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," Monoidics wrote in the company's Blog. "Right away we knew this was our chance to take what we've built to the next level. Joining the Facebook team opens up a world of new opportunity for our technology and for our individual and collective scientific expertise."

Facebook has recently focused on its mobile apps expansion. The California-based company started Facebook Platform in 2007, a suite of tools that helps third-party developers to build their own apps that access Facebook's data. The company said during its briefing on Platform in May that 80 percent of top-grossing iOS apps are integrated with Facebook and 70 percent of Android-based apps use the platform, according to a report from PC World.