Компания Samsung выявляет ошибки в своем программном обеспечении, используя ноу-хау Российской академии наук.

Разработанная ИСП РАН технология Svace способна выявлять ошибки в системном коде ОС Android и Tizen, а также различных приложений, написанных под эти операционные системы. В свое время южнокорейский технологический гигант инвестировал в создание анализатора кода порядка $10 млн и теперь пожинает плоды, пользуясь им бесплатно.