Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014) — различия между версиями

== Видео ==

{{vimeoembed|111677436|800|450}}

{{youtubelink|pjtirDLDFxA}}{{letscomment}}


<!-- pollholder -->

== Слайды ==
[[File:Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf|left|page=-|256px]]

{{----}}
== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->

* [http://2014.secrus.ruorg/lang/ru/program/submitted-presentations/static-verification-of-linux-kernel-modules-current-state-of-the-art-and-beyond Страница доклада на сайте конференции]

<references/>

[[Category:SECR-2014]] <!-- -->

[[Category:Верификация]]
{{stats|disqus_comments=1|refresh_time=2020-07-19T00:37:102021-08-31T18:28:27.443998756731|vimeo_comments=0|vimeo_plays=257|youtube_comments=0|youtube_plays=55}}7}}