基于SAT的有界模型检测及其应用研究的中期报告

基于SAT的有界模型检测及其应用研究的中期报告一、研究背景随着计算机科学的不断发展，计算机软件系统的规模和复杂性越来越大，软件系统的正确性及其可靠性也成为了人们越来越关注的问题。形式化方法是一种用严格