抽象精化相关论文
随着软件的迅速发展和广泛应用,并行程序在天气预测、石油勘探等一些重要领域的应用也越来越普遍。目前,OpenMP已经成为使用最广泛......
模型检测是一种形式化验证技术,主要用于系统的建模和分析。随着软件系统规模和复杂性的增加,模型检测中的状态爆炸问题愈发严重。......
学位
随着软件的广泛应用,其规模越大越大,复杂度越来越高,软件的安全问题也越发突出。如何保证软件系统的正确性、可靠性和安全性,是计......
提出一个结合变量抽象和有界模型检测(BMC)的验证框架,用于证明反例不存在或输出存在反例.引入变量极小不可满足(VMU)的数学概念来......
