Формальна верифікація: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м +interwiki->en |
Немає опису редагування |
||
Рядок 1:
{{Otheruses|Верифікація (значення)}}
'''Верифіка́ція форма́льна''' — в [[інформаційні технології|інформаційних технологіях]], [[математичне доведення|доведення]], або заперечення [[Вірність (іт)|вірності]] системи по відношенню до певної [[формальна специфікація|формальної специфікації]] або характеристики, із використанням [[формальні методи|формальних методів]] [[математика|математики]].▼
▲'''Верифіка́ція форма́льна'''
== Джерела інформації ==
* [http://en.wikipedia.org/w/index.php?title=Formal_verification&oldid=77313133 Formal verification]
== Дивіться також ==
* [[Верифікація]]
{{Compu-stub}}
|