–
Свидетельства о регистрации прав на программное обеспечение
-
- 2022 Статический анализатор Svace (SOFT)
- Авторы: Аветисян А.И., Афанасьев В.О., Белеванцев А.А., Беляев М.В., Бескровный А.В., Бородин А.Е., Вартанов С.П., Велесевич Е.А., Волков А.Е., Гайсарян С.С., Дворцова В.В., Дудина И.А., Журихин Д.М., Иванов Д.А., Игнатьев В.Н., Избышев А.О., Малышев Н.Е., Несов В.С., Поляков С.А., Сыромятников С.В., Шимчик Н.В.
- #2022618173, 5 мая
-
- 2019 Инфраструктура статического анализа помеченных данных для программ на языках Си и C++ (SOFT)
- Авторы: Шимчик Н.В., Корябкин Д.А., Игнатьев В.Н., Беляев М.В.
- #2019660638, 9 августа