Понимание верифицирования: Основные принципы и примеры