Верифікація формальна
Матеріал з Вікіпедії — вільної енциклопедії.
Верифіка́ція форма́льна — в інформаційних технологіях, доведення, або заперечення вірності системи по відношенню до певної формальної специфікації або характеристики, із використанням формальних методів математики.
[ред.] Джерела інформації
- Formal verification — стаття в англомовній вікіпедії.
[ред.] Дивіться також
- Верифікація — споріднений термін із галузі філософії та методології науки.
![]() |
Це незавершена стаття про комп'ютери. Ви можете допомогти проекту, виправивши або дописавши її. |