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