基于Verds的C程序模型检测方法的研究的开题报告

基于Verds的C程序模型检测方法的研究的开题报告一、选题背景随着现代软件系统的不断发展，软件复杂度逐渐增加，人员工作量也随之增加。很多软件缺陷、错误和漏洞的出现都是由于人为疏忽或者编码不规范导致的。