面向源代码相关硕士博士期刊学术论文 - 搜论网

面向源代码相关论文

面向源代码的软件模型检测及其实现

模型检测应用于检测软件可靠性具有重要意义。介绍了一种基于谓词抽象和反例引导抽象求精技术对源程序进行建模和验证的模型检测方......

期刊

软件模型检测源程序验证谓词抽象抽象求精面向源代码 Software model checking Source verification Predi

看过本文同时还关注