基于给定情境描述设计一个计算机程序，能够自动化解决问题。
假设你是一家公司的软件工程师，你们公司最近遇到了一个问题：当顾客进行支付时，他们提交的信用卡信息不被正确验证。这导致了一些付款失败，给公司带来损失。你需要设计一个计算机程序，能够自动验证信用卡信息并减少此类错误。
我们可以设计一个程序，使用Luhn算法验证信用卡号是否有效，并检查过期日期和CVV码是否正确。该程序还可以与信用卡公司接口，实时查询信用卡的可用性和余额，以确保该信用卡可以支付该特定金额。最后，如果遇到错误，程序可以向用户显示相应的错误消息并要求用户提供新的信用卡信息。这将确保所有提交的信用卡信息都被正确验证，并减少付款失败的风险。