源程序验证相关论文
模型检测应用于检测软件可靠性具有重要意义。介绍了一种基于谓词抽象和反例引导抽象求精技术对源程序进行建模和验证的模型检测方......
模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证。介绍了面向软件源程序的模型检验技术的工作流程,并在此基础......
