Техники доказательств по индукции. Основные идеи методологии доказательств через маломасштабную рефлексию.
Введение в формальную верификацию программ