出具证明编译器PLCC 相关硕士博士期刊学术论文 - 搜论网

出具证明编译器PLCC相关论文

用于指针逻辑的自动定理证明器的设计与实现

对高可信软件需求的增加使得指针程序的验证成为近十几年的研究热点,自动定理证明作为形式化方法之一,在软件验证和程序分析工具当......

学位

软件安全程序验证指针程序指针逻辑验证条件自动定理证明器证明检查器证明检查算法出具证明编译器PLCC

看过本文同时还关注