程序条件化相关硕士博士期刊学术论文 - 搜论网

程序条件化相关论文

用于克服程序状态空间爆炸的条件化预处理

提出用条件化技术对程序进行预处理的方案，以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件，通过......

期刊

软件模型检测状态迁移模型状态爆炸程序条件化自动定理证明 Software model check State-transition model Sta

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴......

期刊

程序条件化软件模型检测状态空间缩减符号化执行线性时序逻辑

看过本文同时还关注