有状态动态偏序缩减相关硕士博士期刊学术论文 - 搜论网

有状态动态偏序缩减相关论文

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

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

学位

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

看过本文同时还关注