A real-world case of property-based verification - 文章列表