I'm not sure what "verified & validated" means, but Trane will be the first to admit that any program is just a tool and all loads calcs should be verified by a PE. Having said that, i have never seen a situation where their program wasn't condisered acceptable for life-cycle cost/energy analysis.