Registre de correu electrònic: Métodos formales e Ingeniería de Software