Facebook has acquired UK-based automatic formal verification and analysis software startup Monoidics. The acquisition brings in the assets of and team...