Ключевая фраза: формальная верификация