Категория:Верификация
Материал из 0x1.tv
Версия от 16:15, 31 августа 2021; StasFomin (обсуждение | вклад)
Доклады по программной верификации — статической и динамической, формальной и не очень.
- Можно подписаться на новые доклады в категории RSS/Atom
Plays:5774 Comments:11
Most popular talks:
- Многопоточное программирование (Евгений Кирпичёв на ADD-2010)
- Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)
- Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)
- Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)
Подкатегории
Эта категория содержит только следующую подкатегорию.
Страницы в категории «Верификация»
Показано 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)