Стартап, основанный в 2009 году, разрабатывает системы анализа и верификации программного кода. По словам представителей Facebook, технология Monoidics будет внедрена в процесс разработки мобильных приложений для социальной сети.
Сервис Monoidics Infer Static Analyzer позволяет разработчикам создать работающий код программы, оптимизированный для безопасности и экономии памяти.