Современные направления проверки правильности программ (лекция 9 Задачи проекта как сформулировать примеры