http://krasnaya-zastava.ru/wiki/index.php?action=history&feed=atom&title=%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C 2026-04-20T19:45:11Z История изменений этой страницы в вики MediaWiki 1.18.1 http://krasnaya-zastava.ru/wiki/index.php?title=%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C&diff=2124&oldid=prev 2006-10-31T06:11:40Z

<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 valign='top'> <td colspan='2' style="background-color: white; color:black;">← Предыдущая</td> <td colspan='2' style="background-color: white; color:black;">Версия 06:11, 31 октября 2006</td> </tr><tr><td colspan="2" class="diff-lineno">Строка 1:</td> <td colspan="2" class="diff-lineno">Строка 1:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Источник: [http://ru.wikipedia.org/wiki/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C Wikipedia]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Источник: [http://ru.wikipedia.org/wiki/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C Wikipedia]</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>'''Формальная верификация''' —</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>'''Формальная верификация''' —</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>доказательство с помощью [[формальные методы|формальных методов]] правильности или неправильности системы</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>доказательство с помощью [[формальные методы|формальных методов]] правильности или неправильности системы</div></td></tr> </table>

Drakot http://krasnaya-zastava.ru/wiki/index.php?title=%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C&diff=2123&oldid=prev 2006-10-31T06:11:14Z

<p></p> <p><b>Новая страница</b></p><div>Источник: [http://ru.wikipedia.org/wiki/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C Wikipedia]<br /> '''Формальная верификация''' —<br /> доказательство с помощью [[формальные методы|формальных методов]] правильности или неправильности системы<br /> в соответствии с формальным описанием свойств системы.<br /> <br /> '''Верификация''' (от лат. verus - истинный, facere - делать) - проверка; способ обоснования (подтверждения) каких-либо теоретических положений путем их сопоставления с опытными (эмпирическими) данными.<br /> <br /> Методы верификации:<br /> <br /> - Автоматическое доказательство теорем (Theorem proving)<br /> - Проверка на модели (Model checking)<br /> - Символьное выполнение (Symbolic execution)<br /> - Абстрактная интерпретация (Abstract Interpretation)<br /> [[Категория:Словарь терминов]]</div>

Drakot