电脑体验，效果更佳

携带证明的代码图谱-计算机领域：

研究人员

王志芳 胡荣贵 郭帆 张昱 林春晓 项森 华保健 李兆鹏

相关术语

垃圾收集 形式化方法 扩展的控制流图 高可信软件 出具证明的编译器 类型安全 程序验证 Hoare逻辑

标签云