AFAIK she would be able to get her own state pension based on his contributions.
Are his SERPs in a personal pension scheme?
These may be counted as part of the marital pot - but if he is already receiving the cash, it would be income and not lump sum.
The pensions are only part of the picture. How the finances are divided would depend on a range of factors - including ages, incomes, length of marriage, value of assets etc.