Метод Маккарти основан:
(Отметьте один правильный вариант ответа.)
Варианты ответа
на аксиоматическом описании семантики языка программирования исходных программ
на определении условий для входных и выходных данных и в выборе контрольных точек в доказываемой программе так, чтобы путь прохождения по программе пересекал хотя бы одну контрольную точку
на структурной проверке функций, работающих над структурными типами данных, структур данных и диаграмм перехода во время символьного выполнения программ(Верный ответ)