Категория:Верификация — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: remove <noinclude>Category:ToPublish</noinclude>) |
||
Доклады по программной верификации — статической и динамической, формальной и не очень.
__NOCATEGORYCOLUMNS__
{{rss4cat}}
[[Category:Тестирование]]
<noinclude>[[Category:ToPublish]]</noinclude> | |||
Версия 18:15, 13 ноября 2015
Доклады по программной верификации — статической и динамической, формальной и не очень.
- Можно подписаться на новые доклады в категории RSS/Atom
Подкатегории
Эта категория содержит только следующую подкатегорию.
Страницы в категории «Верификация»
Показано 29 страниц из 29, находящихся в данной категории.
A
C
E
F
P
R
U
А
- Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018)
- Архитектура и возможности средств защиты информации на основе LSM — SELinux, AstraLinux и др. (OSDAY-2018)
В
Г
Д
К
- Компиляция модели памяти OCaml в Power (Егор Намаконов, ISPRASOPEN-2019)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
М
- Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем (Александр Самонов, ISPRASOPEN-2018)
- Многопоточное программирование (Евгений Кирпичёв на ADD-2010)
- Мониторинг состояний системы, построенной на основе адаптивной MILS платформы (Екатерина Рудина, OSDAY-2018)
О
- О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018)
- Оценка покрытия кода при статическом анализе (Павел Андрианов, OSSDEVCONF-2013)
П
- Панельная секция 10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность? (SECR-2015)
- Подход к анализу исполняемого кода на основе восстановления программной архитектуры (Дмитрий Кононов, ISPRASOPEN-2018)
- Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)
- Построение и верификация отказоустойчивого алгоритма распределенной блокировки (Евгений Шишкин, OSDAY-2018)
- Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019)
С
- Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019)
- Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018)
- Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)