Efficient Verification Of Packet Networks