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

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

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

__NOCATEGORYCOLUMNS__

{{rss4cat}}

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


<small>
Most popular talks:
* [[Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)]]
</small>
<!-- Most Interested END-->
{{stats|disqus_comments=2|refresh_time=2017-11-25T00:37:19.979835|youtube_plays=147|vimeo_comments=0|youtube_comments=0|vimeo_plays=61}}

Версия 21:37, 24 ноября 2017

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


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


Most popular talks:

Plays:208   Comments:2

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

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

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

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

A

C

E

F

P

R

U

А

В

Г

Д

К

М

О

П

С

Ф