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

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


__NOCATEGORYCOLUMNS__

{{rss4cat}}

[[Category{{stats|disqus_comments=25|median_plays=90|refresh_time=2021-08-31T19:15:57.734510|vimeo_comments=0|vimeo_plays=2572|youtube_comments=6|youtube_plays=3231}}


<!-- Most Interested BEGIN-->


<small>
Most popular talks:
* [[Rodin — платформа для разработки и верификации моделейМногопоточное программирование (Евгений Кирпичёв на Event-B (Илья Щепетков, OSSDEVCONF-2014ADD-2010)]]
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]
</small>
<!-- Most Interested END-->
2017-11-25T00:37:19.9798351470|61}}
[[Категория:Тестирование]]
[[Категория:Информационная безопасность]]