CDB-PV公司 swMATH ID: 17364 软件作者： 斯科特·安德森、彼得·雷维斯 描述： CDB-PV：一个基于约束数据库的程序验证程序。在本文中，我们提出了一个名为CDB-PV的新系统，该系统使用约束数据库（CDB）进行程序验证（PV）。CDB-PV系统是用C++实现的，并在几个难以用其他方法验证的样本程序上进行了测试。CDB-PV系统也能有效地运行于示例程序。CDB-PV方法类似于抽象解释，但它允许非凸近似。 主页： http://link.springer.com/chapter/10.1007/978-3-540-73580-9_6 相关软件： ESMF公司；PostgreSQL；MLPQ（MLPQ）；DEDALE公司；XPERANTO公司；CCUBE公司；抒情的；函数；高超声速 引用于： 2文件 2位作者引用 2 彼得·雷维斯。 1 罗伯特·J·伍德沃德。 2篇连载文章中引用 1 《大学学报》。Informatica公司 1 计算机科学课文 在2个字段中引用 2 计算机科学（68至XX） 1 地球物理学（86-XX） 按年份列出的引文