Assertion Checker: различия между версиями
Материал из Encyclopedia Electronica
м Замена текста — «<p xmlns="http://www.mediawiki.org/xml/export-0.10/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">» на «» |
м Замена текста — «— \[\[Участник:Игорь Мостицкий|Игорь Мостицкий\]\] \(\[\[Обсуждение участника:Игорь Мостицкий|обсуждение\]\]\) (.*) \(MSK\)» на «— Игорь Мостицкий (обсуждение) $1 (MSK)» Метки: отменено ReplaceText |
||
| Строка 1: | Строка 1: | ||
<span style="color: steelblue;">[əˈsɜːʃən ˈʧekə]</span><br/><span>[[Категория: компьютеры]]</span> <span>[[Категория: программы]]</span> <span>[[Категория: безопасность]]</span><span style="color: indigo;">условный верификатор</span><br/><span style="color: darkslategray;"> Программа ([[Program]]), анализирующая текст др. программы, снабженной условиями и операторами контроля, которые должны выполняться в определённых её точках, и доказывающая их истинность или ложность при заданных предусловиях.</span><br/><br/>— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) 11:21, 9 января 2026 (MSK) | <span style="color: steelblue;">[əˈsɜːʃən ˈʧekə]</span><br/><span>[[Категория: компьютеры]]</span> <span>[[Категория: программы]]</span> <span>[[Категория: безопасность]]</span><span style="color: indigo;">условный верификатор</span><br/><span style="color: darkslategray;"> Программа ([[Program]]), анализирующая текст др. программы, снабженной условиями и операторами контроля, которые должны выполняться в определённых её точках, и доказывающая их истинность или ложность при заданных предусловиях.</span><br/><br/>— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) (MSK)|— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) (MSK)|— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) 11:21, 9 января 2026 (MSK) | ||
Версия от 18:29, 23 января 2026
[əˈsɜːʃən ˈʧekə]
условный верификатор
Программа (Program), анализирующая текст др. программы, снабженной условиями и операторами контроля, которые должны выполняться в определённых её точках, и доказывающая их истинность или ложность при заданных предусловиях.
— Игорь Мостицкий (обсуждение) (MSK)|— Игорь Мостицкий (обсуждение) (MSK)|— Игорь Мостицкий (обсуждение) 11:21, 9 января 2026 (MSK)
