Electronic Documents Search

Documents found: 1

1

Автоматизация анализа корректности Kotlin-программ с применением метода проверки модели: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения»

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

1