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

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

__NOCATEGORYCOLUMNS__

{{rss4cat}}

[[Category:Тестирование]]

{{stats|disqus_comments=2|median_plays=47|refresh_time=2018-03-01T22:36:53.8251935-15T20:22:47.663203|vimeo_comments=0|vimeo_plays=66|youtube_comments=0|youtube_plays=163170}}

<!-- Most Interested BEGIN-->


<small>
Most popular talks:
* [[Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)]]
</small>
<!-- Most Interested END-->