формальная верификация 🤌🤌🤌