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

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

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

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