Категория:Верификация — различия между версиями

Материал из 0x1.tv

Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}


__NOCATEGORYCOLUMNS__
{{rss4cat}}

{{stats|disqus_comments=4|median_plays=42|refresh_time=2019-02-25T21:26:20.367117|vimeo_comments=0|vimeo_plays=369|youtube_comments=4|youtube_plays=575}}



[[Категория:Тестирование]]


<!-- Most Interested BEGIN-->


<small>
Most popular talks:
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)]]
* [[Мониторинг состояний системы, построенной на основе адаптивной MILS платформы (Екатерина Рудина, OSDAY-2018)]]
* [[Архитектура и возможности средств защиты информации на основе LSM — SELinux, AstraLinux и др. (OSDAY-2018)]]

Версия 01:31, 8 мая 2019

Доклады по программной верификации — статической и динамической, формальной и не очень.


  • Можно подписаться на новые доклады в категории RSS/Atom

Plays:944   Comments:8



Most popular talks:

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

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

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

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

A

C

E

F

P

R

U

А

В

Г

Д

К

М

О

П

С

Ф