Verificarea formală 🤌🤌🤌