варифікація програми
рос. варификация программы
(англ. program verifica-tion) — перевірка правильності програми шляхом формального доказу відповідності (або невідповідності) програми даній специфікації (контрольному прикладу).
Eкономічна енциклопедія