Monoidics是英国手机代码验证公司，于2013年被Facebook收购。2009年创建Monoidics公司时，我们的目标是，做同行业最好的自动化格式验证和分析软件。现在我们已经拥有了世界一流的研发团队、稳定的客户，以及位于伦敦硅谷的办公室。这是令人难以置信的旅程，但现在，Monoidics将要去履行Facebook交予他们的使命。Monoidics的母公司一直在寻找精明能干、才华横溢的工程师，在此次收购中，Facebook找到了许多这类人才。Monoidics团队的创业精神和热情将很好地补充到Facebook中。
Monoidics专长是分析和核对软件稳定性及安全性。该公司的Infer Static Analyzer产品可帮助检测代码的安全漏洞，以防止类似内存溢出、非法指针引用等错误的出现。此外，另一款名为Infer X-Ray的产品能帮助工程师视觉化检测软件的质量，以及识别需要改进的关键区域风险。Monoidics的客户包括ARM半导体、Airbus和三菱电子等。Facebook最近进入了一个产品发布或更新的周期，每一个或两个月都会在iOS和Android更新或发布产品等。它最近还推出了一款Android的测试应用，让用户帮助其测试一些潜在的功能。所有的这些意味着Facebook推出的可能是风险应用。但是有了Monoidics后可确保不会发生。
Monoidics公司开发的INFER Static Analyzer代表了软件生产力和质量保证领域的一次进步。在提供无缺陷的软件过程中，其高级的静态代码分析工具将关注记忆安全性。INFER Static Analyzer基于严格的计算原则。有了新一代的分析器，验证软件是否存在故障就相当于提供一种数学定理。这意味着，如果INFER生成特定流程的正确性证明的话，它就可以确保该流程不存在任何记忆漏洞或者非法引用问题了。INFER可以分析和验证任何规模的程序。INFER可以高效地运作，认证整个程序的组成部分。由于INFER是多个组件组成的，为此经过一次验证的程序无需在为更改代码的条件下重新分析。INFER X-Ray是一种高级的创新工具，主要用来分析软件的质量。INFER X-Ray为软件工程师和信息技术经理人提供自动化，客观性和可视化的软件质量演示程序。INFER X-Ray这款工具的目的在于识别核心的组件和需要提升质量的风险区域。INFER是一款核心的工具，因为软件开发或者设计过程中任何小小的失误都可能导致昂贵的人力和商业成本。INFER在先进的医疗设备，航空航天和国防卫星研发领域尤为重要。
