ITMO University
“Programming Technologies” Department



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



    / Projects / Automata program verifier (версия для печати)


Automata program verifier



p align="center"> © 2008 K. V. Egoro
Supervisor: A. A. Shalyto

Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Bachelor work
Executable code
Executable file
Presentation

Annotation

The project purpose is to verify automata programs model provided by instrumental tool UniMod. This tool generates XML-file and verifier constructs model for verification using only this file. Requirements are written using Linear Time Logic (LTL).

Main verifier's feature is specialization on automata programs model. So model transformation is unnecessary and verifier checks claims about automata program directly. Concurrent double DFS algorithm was implemented in this work, thus verifier was optimized to execute on multi-core systems.




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com