Facebook has just agreed to acquire certain assets and hire some employees of UK software verification developer Monoidics. Pending closing conditions, some Monoidics engineers will join Facebook's London office. Facebook will apply the Monoidics automatic formal verification and analysis software …