变量抽象相关硕士博士期刊学术论文 - 信丰网

变量抽象相关论文

基于Assume-Guarantee搜索复用的C程序验证方法

提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并......

期刊

Assume-Guarantee搜索重用变量抽象程序近似语义部分最强后置条件

面向C程序验证的切片执行方法

随着计算机系统的广泛应用,计算机软件的高可信性质受到了越来越多的关注。面向软件源程序的形式验证是保障软件高可信性质的一种......

学位

切片执行模型检验时序安全性质 C程序验证变量抽象部分最强后置条件部分最弱前置条件有状态动态偏序缩减

看过本文同时还关注