Facebook on Thursday announced that it is acquiring certain assets and employees from UK software verification develop Monoidics.
After the acquisition is finalized some employees from the company will begin work at Facebook’s London office.
Facebook will apply the Monoidics automatic formal verification and analysis software to its mobile environment.
In a blog post the team at Monoidics 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.”
In a Facebook blog post Phillip Su adds:
“We have always focused on hiring smart, talented engineers — and in this acquisition, we found many. Their entrepreneurial spirit and desire to make an impact make them great additions to Facebook. We can’t wait to have them here!”
Monoidics’ Infer Static Analyzer searches through vast amounts of code to help create memory safety and security.
By using a specialized algorithm the company ensures that no memory leaks or illegal pointer references are found inside a company’s code structure.
Among its clients are ARM semiconductor, Airbus and Mitsubishi Electric.
The acquisition couldn’t come at a better time, Facebook recently started pushing out app updates for iOS and Android on a monthly basis, thus ensuring less time to fully vet each update in the real world.