Интернет-гигант Facebook объявил об открытии исходного кода программного продукта, использовавшегося внутри компании для верификации кода, — Infer. В сентябре 2013 года Facebook купила стартап Monoidics, который специализировался на верификации кода и разрабатывал статический анализатор Infer. Он написан на OCaml и поддерживает три языка программирования: Java, Objective-C и C. На сегодняшний день в Facebook используют Infer для «верификации избранных свойств каждого изменения кода…

http://www.nixp.ru/news/13469.html