Electronic Documents Search
Documents found: 4
-
Creators Аубакирова Карина Казбековна Scientific adviser Бусыгин Алексей Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects межсетевой экран; верификация; конфигурация; политика безопасности; проверка модели; firewall; verification; configuration; security policy; model checking Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.03 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2024/vr/vr24-2203 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Варламов Дмитрий Андреевич Scientific adviser Шошмина Ирина Владимировна Other creators Локшина Екатерина Геннадиевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects cuda-dtm; транзакционная память; формальная верификация; метод проверки моделей; спецификация; кластер; графический процессор; transactional memory; formal verification; model checking; specification; cluster; graphics processing unit Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-3209-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-3209-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-3209 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.8 Mb -
Creators Джеус Андрей Сергеевич Scientific adviser Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects программное обеспечение; проверка модели; верификация автоматной программы; автоматизация верификации; граф потока управления; интеграция инструментов верификации; software; model checking; verification of automata-based program; verification automation; control flow graph; integration of verification tools Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2024/vr/vr24-3931 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb -
Creators Черникова Арина Сергеевна Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects формальная верификация; model checking; верификатор NuSMV; web-интерфейс; конечный автомат; django; python; графический интерфейс; react; formal verification; nusmv verifier; web-interface; finite-state machine; graphical interface Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-749 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.8 Mb
