логика верификации

Мат. logic of verification