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

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

(Batch edit: replace PCRE (\n\n)+ with \1)
 
(не показано 15 промежуточных версий этого же участника)
Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}


__NOCATEGORYCOLUMNS__
{{rss4cat}}

{{stats|disqus_comments=45|median_plays=3890|refresh_time=2021-08-31T19:15:57.734510-05-08T04:31:25.814987|vimeo_comments=0|vimeo_plays=4002572|youtube_comments=46|youtube_plays=7593231}}



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



<!-- Most Interested BEGIN-->


<small>
Most popular talks:
* [[Многопоточное программирование (Евгений Кирпичёв на ADD-2010)]]
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Rodin  платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONFProgramming Constraint Services with Z34)]]
* [[Архитектура и возможности средств защиты информации на основе LSM  SELinux, AstraLinux и др. (OSDAY-2018Nikolaj Bjørner, ISPRASOPEN-2019)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]
</small>
<!-- Most Interested END-->

Текущая версия на 12:34, 4 сентября 2021

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


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

Plays:5803   Comments:11


Most popular talks:

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

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

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

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

A

C

E

F

P

R

U

А

В

Г

Д

К

М

О

П

С

Ф