Enviar Registro por Correo electrónico: Scalable Techniques for Formal Verification /