Page 213 - 《软件学报》2025年第8期
P. 213
3636 软件学报 2025 年第 36 卷第 8 期
2023.11.06]
[80] 汪宇霆. Rust 核心语言机制的编译验证方法. 2024. https://jhc.sjtu.edu.cn/~yutingwang/files/posters/rust-hyl.pdf
张卓若(1998－), 女, 博士生, CCF 学生会员, 主 杨申毅(2001－), 男, 硕士生, CCF 学生会员, 主
要研究领域为形式化方法, 程序验证, Rust 验证. 要研究领域为程序分析, 可信执行环境.
常瑞(1981－), 女, 博士, 副教授, 博士生导师, 陈芳(1999－), 女, 硕士生, 主要研究领域为形式
CCF 杰出会员, 主要研究领域为硬件辅助安全, 化方法, Rust 验证.
形式化验证, 程序分析.
