machine verification

Машинная проверка; машинная верификация