川东北光伏

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