Формальная верификация: различия между версиями

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