варифікація програми

рос. варификация программы

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