Facebook купил технологию Monoidics

19.07.2013

Социальная сеть Facebook купила технологию проверки программного кода Monoidics.

Запущенная в 2009 году, технология Monoidics используется при разработке системы анализа и верификации программного кода. Технология включает в себя работу двух специальных сервисов. Первый сервис – Monoidics Infer Static Analyzer, позволяет создать работающий код программы, оптимизированный для безопасности и экономии памяти. Второй – Monoidics X-Ray, находит и отмечает области, в которых были найдены ошибки, благодаря чему облегчается и ускоряется отладка приложений.

Руководство Facebook намерено использовать технологию Monoidics для разработки сайтов и мобильных приложений социальной сети.