Проверка правильности программ