C程序验证相关硕士博士期刊学术论文 - 信丰网

C程序验证相关论文

C程序证明策略在Coq中的设计和实现

计算机系统已在国防、通讯、金融、能源、交通、医疗等关键领域中得到广泛应用,构建高可信系统已成为世界范围的重要课题。其中操......

学位

定理证明工具Coq 实用证明策略分离逻辑 C程序验证 Hoare三元组断言语言

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

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

学位

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

看过本文同时还关注