Proval seems to be the most prevalent valuation software in my experience. Pros are that it is fairly easy to use, but the cons are the price and that you have to program benefits using the “Proval language”. The language isn’t that big of a con though, since it covers most (if not all) things you would need regarding pension/OPEB valuations and projections.