川东北光伏

CDB-PV:一个基于约束数据库的程序验证程序。在本文中，我们提出了一个新的系统称为CDB-PV，它使用约束数据库（CDB）进行程序验证（PV）。CDB-PV系统是用C++实现的，并在几个难以用其他方法验证的示例程序上进行了测试。CDB-PV系统对样本程序也能有效运行。CDB-PV方法类似于抽象解释，但它允许非凸近似。