Верифікація формальна

Матеріал з Вікіпедії — вільної енциклопедії.

Верифіка́ція форма́льна — в інформаційних технологіях, доведення, або заперечення вірності системи по відношенню до певної формальної специфікації або характеристики, із використанням формальних методів математики.

[ред.] Джерела інформації

[ред.] Дивіться також

  • Верифікація — споріднений термін із галузі філософії та методології науки.


Комп'ютер Це незавершена стаття про комп'ютери.
Ви можете допомогти проекту, виправивши або дописавши її.
Іншими мовами