Формальная верификация: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
EmausBot (обсуждение | вклад) м Перемещение 17 интервики-ссылок в Викиданные (d:Q173326) |
РоманСузи (обсуждение | вклад) м →Области применения: викификация |
||
Строка 8:
== Области применения ==
Формальная верификация может использоваться для проверки таких систем, как программное обеспечение, представленное в виде исходных текстов, [[криптографический протокол|криптографические протоколы]], [[Комбинационная логика|комбинаторные логические схемы]],
▲Формальная верификация может использоваться для проверки таких систем, как программное обеспечение, представленное в виде исходных текстов, [[криптографические протоколы]], [[комбинаторные логические схемы]], [[цифровые схемы]] с внутренней памятью.
== Теоретические основы ==
| |||