Система проверки выполнения проблемно-ориентированных правил для Си программ

14 сентября 2018
88
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Москва
Отличия от конкурентов
Вид документа об охране ИС программа для ЭВМ
Номер документа ИС 201261559
Дата регистрации документа ИС 2012-06-20
Необходимые инвестиции для внедрения договорная
Сроки внедрения
Стоимость предоставления технологии договорная
Наличие экспертного заключения Нет

Польза для потенциального потребителя

Предназначена для анализа корректности исходного кода на языке Си