Verificación pública
Introduce cualquier dato para comprobar si ha sido certificado en Code Contract.