Facebook 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]