Facebook приобрела Monoidics (Лондон, Великобритания)

Facebook приобрела Monoidics (Лондон, Великобритания), разработчика системы анализа и верификации программного кода. Технология Monoidics будет внедрена в процесс разработки мобильных приложений для социальной сети. Сумма сделки не раскрывается. Команда компании переедет в лондонский офис Facebook. Среди клиентов сервиса Airbus, Mitsubishi, ARM, Vanguardistas, и Ливерморская национальная лаборатория им. Э. Лоуренса.