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

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


__NOCATEGORYCOLUMNS__
{{rss4cat}}

{{stats|disqus_comments=25|median_plays=4790|refresh_time=2018-05-15T20:22:472021-08-31T19:15:57.663203734510|vimeo_comments=0|vimeo_plays=662572|youtube_comments=06|youtube_plays=170}}

3231}}


<!-- Most Interested BEGIN-->


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

[[Категория:Тестирование]]
[[Категория:Информационная безопасность]]