发送短信: Efficient coverability analysis by proof minimization