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