أرسل هذا في رسالة قصيرة: Efficient coverability analysis by proof minimization