Certified Value Summaries