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

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


__NOCATEGORYCOLUMNS__
{{rss4cat}}

{{stats|disqus_comments=2|median_plays=47|refresh_time=2018-0510-15T20:22:4720T01:10:20.663203438475|vimeo_comments=0|vimeo_plays=66293|youtube_comments=04|youtube_plays=170404}}



[[Категория:Тестирование]]
<!-- Most Interested BEGIN-->


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