Partial Order Methods in Verification