Жидков Роман Евгеньевич (RU) | Каталог Тверских изобретений

RSS

Жидков Роман Евгеньевич (RU)

СПОСОБ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПО ЕСТЕСТВЕННОЙ СЕМАНТИКЕ ИДЕНТИФИКАТОРОВ ИСХОДНОГО КОДА ПРОГРАММЫ ПРИ СТАТИЧЕСКОМ АНАЛИЗЕ

08.12 2018

Comments off

(45) Дата публикации:

19.11.2018

2 672 786

(51) Класс МПК:

(72) Автор(ы):

Жидков Роман Евгеньевич (RU)

(73) Патентообладатель(и):

Жидков Роман Евгеньевич (RU)

Подробнее о СПОСОБ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПО ЕСТЕСТВЕННОЙ СЕМАНТИКЕ ИДЕНТИФИКАТОРОВ ИСХОДНОГО КОДА ПРОГРАММЫ ПРИ СТАТИЧЕСКОМ АНАЛИЗЕ