基于静态切片和属性分解的LTL模型检测改进方法的开题报告

基于静态切片和属性分解的LTL模型检测改进方法的开题报告一、选题背景及意义：随着软件系统复杂性的不断提高，传统的测试方法已经不能够保障软件系统的正确性，自动化形式化验证方法逐渐被引入。其中，基于模型的