Facebook announced that it has agreed to acquire “certain assets” of code verification software company Monoidics. The company’s technical team will also be joining Facebook.

Facebook software engineer announced the news on Facebook.

“This asset acquisition represents our investment in the quality of our mobile applications platform and also our people, as members of their talented engineering team will join us to work at Facebook’s London office once the deal closes (pending certain closing conditions),” he writes.

“We have always focused on hiring smart, talented engineers — and in this acquisition, we found many,” Su adds. “Their entrepreneurial spirit and desire to make an impact make them great additions to Facebook. We can’t wait to have them here!”

On its website, the Monoidics team writes:

In 2009 we started this company with the goal of making the best automatic formal verification and analysis software in the industry. We’ve gone from theoretical ideas in logics of programs all the way to a company with a world-class engineering team, real customers and an office right in the midst of London’s Silicon Roundabout. It’s been incredible journey. . . we’ve loved every minute of it!

However, 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. 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.

The deal, the terms of which were not disclosed, is subject to closing conditions.