Facebook Inc (NASDAQ:FB) is closing a deal with U.K.-based Monoidics to hire its technical team and acquire some of the company’s assets, reports Josh Constine at TechCrunch. Facebook intends to use Monoidics’ bug tracking software to improve its mobile development process.

facebook

“We started this company with the goal of making the best automatic formal verification and analysis software in the industry,” Monoidics wrote on its blog. “When we met members of [the] Facebook Inc (NASDAQ:FB)’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. Right away we knew this was our chance to take what we’ve built to the next level.”

“We have always focused on hiring smart, talented engineers,” says Philip Su, a software engineer at Facebook London. “Their entrepreneurial spirit and desire to make an impact make them great additions to Facebook.”

Turning bug tracking into a logic problem

Founded in 2009, Monoidics has made a name for itself with its Infer Static Analyzer, software that helps developers find and correct bugs in their code, especially those relating to memory usage and application security. Unlike many bug trackers that use libraries of common bugs to look for known issues, Infer Static Analyzer is based on formal logic, developing a correctness proof for each piece of software that guarantees it does not have any memory leaks or incorrect pointers. The system also works on sections of code so that there is no need for redundant scanning following an update.

For other issues, Monoidics’ X-Ray tool looks for areas of code that may be problematic and brings them to developers’ attention so they can be double-checked prior to deployment. The quality of Monoidics’ bug tracking tools earned it a number of high-profile clients including ARM semiconductor and Airbus. The company was definitely on the rise before Facebook Inc (NASDAQ:FB) acquired it, with a growing team of engineers and a prime location in the heart of London’s Silicon Roundabout.

Facebook to release new cycle schedule for iOS and Android

Facebook Inc (NASDAQ:FB) has switched to a scheduled release cycle for iOS and Android, which means its development and quality assurance teams cannot take as much time as they might like to make sure that an update is error-free. Bringing the Monoidics team on board gives Facebook a team of proven experts who can help them meet that challenge.