Нач
LAB: =
LBC: =
LCA: =
Р:= LAB + LBC + LCA
Кон
Результаты
Р = LAB + LBC + LCA
Сравнение результатов выполнения алгоритма с описанием метода решения показывает, что это одна и та же система формул, что подтверждает правильность алгоритма.
Систематические методы анализа правильности алгоритмов и программ опираются на сопоставление тех же самых описаний, которые используются при их систематическом составлении.
Анализ правильности: