https://0x1.tv/index.php?action=history&feed=atom&title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F%3A%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F
Категория:Верификация - История изменений
2026-05-16T22:41:38Z
История изменений этой страницы в вики
MediaWiki 1.26.4
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=195463&oldid=prev
StasFomin в 17:59, 8 марта 2026
2026-03-08T17:59:27Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 17:59, 8 марта 2026</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=90|refresh_time=2021-08-31T19:15:57.734510|vimeo_comments=0|vimeo_plays=2572|youtube_comments=6|youtube_plays=3231}}
<span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено"><span class="wikEdDiffNewline">
</span></span><span class="wikEdDiffMarkRight"title="[[Категория:Тестирование]]
" id="wikEdDiffMarkExt1"onmouseover="wikEdDiffBlockHandlerExt(undefined, this, 'mouseover');"></span><!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Многопоточное программирование (Евгений Кирпичёв на ADD-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--><span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено"><span class="wikEdDiffNewline">
</span><span class="wikEdDiffNewline">
</span></span><span class="wikEdDiffBlock"title="◀ Перемещено" id="wikEdDiffBlockExt1"onmouseover="wikEdDiffBlockHandlerExt(undefined, this, 'mouseover');">[[Категория:Тестирование]]<span class="wikEdDiffNewline">
</span></span><span class="wikEdDiffInsert" title="Вставлено">[[Категория:Информационная<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>безопасность]]</span></pre></div></td></tr></table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=187642&oldid=prev
StasFomin: Batch edit: replace PCRE (\n\n)+ with \1
2021-09-04T12:34:37Z
<p>Batch edit: replace PCRE (\n\n)+ with \1</p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 12:34, 4 сентября 2021</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=90|refresh_time=2021-08-31T19:15:57.734510|vimeo_comments=0|vimeo_plays=2572|youtube_comments=6|youtube_plays=3231}}
<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено"><span class="wikEdDiffNewline">
</span><span class="wikEdDiffNewline">
</span></span>[[Категория:Тестирование]]
<!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Многопоточное программирование (Евгений Кирпичёв на ADD-2010)]]
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]</pre></div></td></tr></table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=182849&oldid=prev
StasFomin в 16:15, 31 августа 2021
2021-08-31T16:15:57Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 16:15, 31 августа 2021</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=<span class="wikEdDiffDelete" title="Удалено">89</span><span class="wikEdDiffInsert" title="Вставлено">90</span>|refresh_time=2021-08-<span class="wikEdDiffDelete" title="Удалено">25T04:52:14</span><span class="wikEdDiffInsert" title="Вставлено">31T19:15:57</span>.<span class="wikEdDiffDelete" title="Удалено">446344</span><span class="wikEdDiffInsert" title="Вставлено">734510</span>|vimeo_comments=0|vimeo_plays=257<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено">0</span><span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено">2</span>|youtube_comments=6|youtube_plays=32<span class="wikEdDiffDelete" title="Удалено">04</span><span class="wikEdDiffInsert" title="Вставлено">31</span>}}
[[Категория:Тестирование]]
<!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Многопоточное программирование (Евгений Кирпичёв на ADD-2010)]]
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]</pre></div></td></tr>
<!-- diff cache key talks:diff:version:1.11a:oldid:182848:newid:182849 -->
</table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=182848&oldid=prev
StasFomin в 16:15, 31 августа 2021
2021-08-31T16:15:57Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 16:15, 31 августа 2021</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=89|refresh_time=2021-08-25T04:52:14.446344|vimeo_comments=0|vimeo_plays=2570|youtube_comments=6|youtube_plays=3204}}
[[Категория:Тестирование]]
<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено"><span class="wikEdDiffNewline">
</span></span><!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Многопоточное программирование (Евгений Кирпичёв на ADD-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--></pre></div></td></tr></table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=176440&oldid=prev
StasFomin в 01:52, 25 августа 2021
2021-08-25T01:52:15Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 01:52, 25 августа 2021</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=<span class="wikEdDiffDelete" title="Удалено">64</span><span class="wikEdDiffInsert" title="Вставлено">89</span>|refresh_time=<span class="wikEdDiffDelete" title="Удалено">2020-07-19T21</span><span class="wikEdDiffInsert" title="Вставлено">2021-08-25T04</span>:<span class="wikEdDiffDelete" title="Удалено">13</span><span class="wikEdDiffInsert" title="Вставлено">52</span>:14.<span class="wikEdDiffDelete" title="Удалено">722194</span><span class="wikEdDiffInsert" title="Вставлено">446344</span>|vimeo_comments=0|vimeo_plays=<span class="wikEdDiffDelete" title="Удалено">787</span><span class="wikEdDiffInsert" title="Вставлено">2570</span>|youtube_comments=<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено">5</span><span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено">6</span>|youtube_plays=<span class="wikEdDiffDelete" title="Удалено">1910</span><span class="wikEdDiffInsert" title="Вставлено">3204</span>}}
[[Категория:Тестирование]]
<!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Многопоточное программирование (Евгений Кирпичёв на ADD-2010)]]
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]</pre></div></td></tr></table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=176439&oldid=prev
StasFomin в 01:52, 25 августа 2021
2021-08-25T01:52:14Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 01:52, 25 августа 2021</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=64|refresh_time=2020-07-19T21:13:14.722194|vimeo_comments=0|vimeo_plays=787|youtube_comments=5|youtube_plays=1910}}
[[Категория:Тестирование]]
<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено"><span class="wikEdDiffNewline">
</span><span class="wikEdDiffNewline">
</span><span class="wikEdDiffNewline">
</span><span class="wikEdDiffNewline">
</span><span class="wikEdDiffNewline">
</span><span class="wikEdDiffNewline">
</span><span class="wikEdDiffNewline">
</span></span><!-- Most Interested BEGIN-->
<small>
Most popular talks:
<span class="wikEdDiffInsert" title="Вставлено">*<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>[[Многопоточное<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>программирование<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>(Евгений<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>Кирпичёв<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>на<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>ADD-2010)]]<span class="wikEdDiffNewline">
</span></span>* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[<span class="wikEdDiffDelete" title="Удалено">Rodin<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>—<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>платформа<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>для<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>разработки<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>и<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>верификации<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>моделей<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>на<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>Event-B<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>(Илья<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>Щепетков,<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>OSSDEVCONF-2014)]]<span class="wikEdDiffNewline">
</span>*<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>[[Архитектура<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>и<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>возможности<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>средств<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>защиты<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>информации<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>на<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>основе<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>LSM<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>—<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>SELinux,<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>AstraLinux<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>и<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>др.<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>(OSDAY-2018</span><span class="wikEdDiffInsert" title="Вставлено">Programming<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>Constraint<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>Services<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>with<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>Z3<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>(Nikolaj<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>Bjørner,<span class="wikEdDiffSpace"><span class="wikEdDiffSpaceSymbol"></span> </span>ISPRASOPEN-2019</span>)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]
</small>
<!-- Most Interested END--></pre></div></td></tr></table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=168778&oldid=prev
StasFomin в 18:13, 19 июля 2020
2020-07-19T18:13:15Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 18:13, 19 июля 2020</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=6<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено">6</span><span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено">4</span>|refresh_time=2020-07-<span class="wikEdDiffDelete" title="Удалено">07T19:02:02</span><span class="wikEdDiffInsert" title="Вставлено">19T21:13:14</span>.<span class="wikEdDiffDelete" title="Удалено">817028</span><span class="wikEdDiffInsert" title="Вставлено">722194</span>|vimeo_comments=0|vimeo_plays=7<span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено">8</span>7<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено">7</span>|youtube_comments=5|youtube_plays=<span class="wikEdDiffDelete" title="Удалено">1878</span><span class="wikEdDiffInsert" title="Вставлено">1910</span>}}
[[Категория:Тестирование]]
<!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)]]
* [[Архитектура и возможности средств защиты информации на основе LSM — SELinux, AstraLinux и др. (OSDAY-2018)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]</pre></div></td></tr></table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=168777&oldid=prev
StasFomin в 18:13, 19 июля 2020
2020-07-19T18:13:14Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 18:13, 19 июля 2020</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=5|median_plays=66|refresh_time=2020-07-07T19:02:02.817028|vimeo_comments=0|vimeo_plays=777|youtube_comments=5|youtube_plays=1878}}
[[Категория:Тестирование]]
<span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено"><span class="wikEdDiffNewline">
</span></span><!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)]]
* [[Архитектура и возможности средств защиты информации на основе LSM — SELinux, AstraLinux и др. (OSDAY-2018)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]</pre></div></td></tr></table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=160426&oldid=prev
StasFomin в 16:02, 7 июля 2020
2020-07-07T16:02:06Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 16:02, 7 июля 2020</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено">4</span><span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено">5</span>|median_plays=<span class="wikEdDiffDelete" title="Удалено">43</span><span class="wikEdDiffInsert" title="Вставлено">66</span>|refresh_time=2020-0<span class="wikEdDiffDelete wikEdDiffDeleteBlank" title="Удалено">1</span><span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено">7</span>-<span class="wikEdDiffDelete" title="Удалено">08T05:15:19</span><span class="wikEdDiffInsert" title="Вставлено">07T19:02:02</span>.<span class="wikEdDiffDelete" title="Удалено">646227</span><span class="wikEdDiffInsert" title="Вставлено">817028</span>|vimeo_comments=0|vimeo_plays=<span class="wikEdDiffDelete" title="Удалено">529</span><span class="wikEdDiffInsert" title="Вставлено">777</span>|youtube_comments=5|youtube_plays=<span class="wikEdDiffDelete" title="Удалено">1354</span><span class="wikEdDiffInsert" title="Вставлено">1878</span>}}
[[Категория:Тестирование]]
<!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)]]
* [[Архитектура и возможности средств защиты информации на основе LSM — SELinux, AstraLinux и др. (OSDAY-2018)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]</pre></div></td></tr>
<!-- diff cache key talks:diff:version:1.11a:oldid:160425:newid:160426 -->
</table>
StasFomin
https://0x1.tv/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F&diff=160425&oldid=prev
StasFomin в 16:02, 7 июля 2020
2020-07-07T16:02:04Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 16:02, 7 июля 2020</td>
</tr><tr class="wikEdDiffTableRow"><td class="wikEdDiffTableCell" colspan="4"><div class="wikEdDiffContainer" id="wikEdDiffContainerExt"><pre class="wikEdDiffFragment" style="white-space: pre-wrap;">Доклады по программной верификации — статической и динамической, формальной и не очень.
* {{Twittertag|modelchecking}}
* {{Twittertag|verification}}
__NOCATEGORYCOLUMNS__
{{rss4cat}}
{{stats|disqus_comments=4|median_plays=43|refresh_time=2020-01-08T05:15:19.646227|vimeo_comments=0|vimeo_plays=529|youtube_comments=5|youtube_plays=1354}}
[[Категория:Тестирование]]
<span class="wikEdDiffInsert wikEdDiffInsertBlank" title="Вставлено"><span class="wikEdDiffNewline">
</span></span><!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition (Александр Оружейников, OSDAY-2018)]]
* [[Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)]]
* [[Архитектура и возможности средств защиты информации на основе LSM — SELinux, AstraLinux и др. (OSDAY-2018)]]
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]</pre></div></td></tr></table>
StasFomin