G06F 8/00 | Каталог Тверских изобретений

RSS

G06F 8/00

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

08.12 2018

Comments off

Дата публикации:

19.11.2018

2 672 786

Класс МПК:

Автор:

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

Патентообладатель:

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

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