Terms for subject Computers containing докази

Ukrainian	English
доказ правильності	correctness proof (програми)
доказ теорем методом резолюції	resolution theorem proving
процедура доказу	proof procedure