Enviar Registro por Correo electrónico: Verified Software. Theories, Tools, and Experiments :