Enviar aquest missatge de text: Efficient coverability analysis by proof minimization