Категория:Верификация — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+ with \1) |
||
Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=8990|refresh_time=2021-08-25T04:52:1431T19:15:57.446344734510|vimeo_comments=0|vimeo_plays=25702|youtube_comments=6|youtube_plays=320431}}
[[Категория:Тестирование]]
<!-- Most Interested BEGIN-->
<small>
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)]] | |||
Текущая версия на 12:34, 4 сентября 2021
Доклады по программной верификации — статической и динамической, формальной и не очень.
- Можно подписаться на новые доклады в категории RSS/Atom
Plays:5803 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)