程序验证的虚构解方法

摘要：

本文给出了一种当前最严格的验证程序算法,该算法对于解决一大类科学计算程序的正确性,可靠性问题,其效果是很显著的.同时,并用它进行程序验证实践,事实证明该算法对于解决程序的正确性即验证问题很有效.

关键词： 程序验证 虚构解 网格细化

作者: 杨振虎 白文 高福安

作者单位: 中国航空计算技术研究所

会议类型: 国内会议

会议名称: 第十二届全国计算流体力学会议

会议地点: 西安

会议语种:中文

页码: 781-785

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）