Monoidics_FacebookFacebook has acquired the assets of UK-based software startup Monoidics. The company’s technical team will be joining the Facebook office in London. Further details of the transaction were not revealed.

“Joining the Facebook team opens up a world of new opportunity for our technology and for our individual and collective scientific expertise,” said the company in a statement.

Monoidics specializes in automatic formal verification and analysis of software; they create software that checks other software for errors and mistakes.

[Image courtesy: Monoidics]