计算机技术与发展2024，Vol.34Issue(8)：P.57-66,10.DOI:10.20165/j.cnki.ISSN1673-629X.2024.0134
基于类C语言内存模型的复杂数据结构验证方法
摘要
关键词
形式化验证/复杂数据结构/程序逻辑/内存模型/操作系统内核分类
信息技术与安全科学引用本文复制引用
李薛剑,王俊宜..基于类C语言内存模型的复杂数据结构验证方法[J].计算机技术与发展,2024,34(8):P.57-66,10.基金项目
安徽省自然科学基金面上项目(2008085MF188)。 （2008085MF188）
