Facebook will use the acquired assets to improve its mobile applications platform, software engineer Philip Su said. A Facebook spokesperson told CNET that the social network will apply Monoidics automatic formal verification and analysis software -- aka code that checks other code for bugs -- to its mobile app development.

Related posts

"Joining the Facebook team opens up a world of new opportunity for our technology and for our individual and collective scientific expertise," the Monoidics team wrote in a blog post.

The acquisition aligns nicely with Facebook's multifaceted mobile strategy, which includes making its own best-in-show applications, enticing developers to create third-party apps with social hooks, and playing a larger role in the entire ecosystem of application development and promotion.