Категория:Верификация

Подкатегории

Эта категория содержит только следующую подкатегорию.

• ► Анализ программ и систем‎ (2 К)

Страницы в категории «Верификация»

Показано 29 страниц из 29, находящихся в данной категории.

A

• Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018)

C

• Compiling OCaml memory model for Power (Egor Namakonov, ISPRASOPEN-2019)

E

• Everything you always wanted to know about your program (Bertrand Meyer, SECR-2018)

F

• From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)

P

• Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)

R

• Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)

U

• Using Svace static analysis tool in Samsung environments (Youil Kim, ISPRASOPEN-2019)

А

• Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018)
• Архитектура и возможности средств защиты информации на основе LSM — SELinux, AstraLinux и др. (OSDAY-2018)

В

• Возможности сертификации защищенных ОС Linux в соответствии с Профилями защиты разных уровней (Петр Девянин, OSDAY-2018)

Г

• Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)

Д

• Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-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)

Ф

• Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018)