|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
О средствах верификации контура данных программно-конфигурируемых сетейкурсовая работа (Бакалавр)
- Научный руководитель: Подымов В.В.
- Автор: Прудников О.С.
- Тип: Бакалавр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Кафедра математической кибернетики
- Год защиты: 2021
- Курс: 3
- Аннотация: В работе приводится обзор средств верификации, так или иначе связанных с разработанным в 2014 году средством Vermont (Verifying Monitor): само средство, предшественники, аналоги, конкуренты. Цель обзора - изучение прогресса по соответствующей теме за последние годы для определения перспектив по усовершенствованию математической части средства Vermont.
- Добавил в систему: Подымов Владислав Васильевич