Facebook Inc (NASDAQ:FB) is acquiring the assets and is hiring employees from U.K. based software developer company Monoidics. Monoidics? engineers and technical staff will be joining Facebook’s London office based on certain conditions. Facebook will be integrating Monoidics automatic formal verification and analysis software to their mobile processes in order to weed out bugs.
?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,? stated the Monoidics team. “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.”
Monoidics? core product is called Infer Static Analyzer. Infer Static Analyzer helps developers deploy code that is free of bugs while taking security and memory safety into account. Infer Static Analyzer uses algorithms for their bug detection for apps of all sizes. The software can also detect what parts of software have been changed so that it does not re-scan approved code. Some of Monoidics’ customers include Airbus and Mitsubishi.