Verificación probabilista | Publicación