Facebook buys code-checking Silicon Roundabout startup Monoidics

Acquisition of company which carries out tests to find crashing bugs will see its technology applied to mobile apps and site
Beta.
Facebook has bought Monoidics, a startup company from London's "Silicon Roundabout" which writes award-winning software for testing other software to check it doesn't have flaws. The price was undisclosed, but is thought to be in the low millions of pounds.
Monoidics, started in 2009, writes "code verification software" using mathematical principles to determined whether a piece of software will execute correctly. The idea came out of a research project by co-founder Dino DiStefano, who with two colleagues developed "Infer", a program which could point to critical flaws such as "memory leaks" - which can make programs and computer crash - or conversely show that software was fine. Overall, 90% of crashes are caused by a single type of error.
Monoidics started in 2009, and is reckoned to be profitable, with net assets of around £300,000 at the start of 2012 on turnover estimated at around £600,000 - though it has not filed annual accounts due at the end of 2012.

Source: https://www.guardian.co.uk/technology/2013/jul/18/facebook-buys-monoidics