电脑体验，效果更佳

出具证明编译器图谱-计算机领域：

研究人员

葛琳 华保健 李兆鹏 陈意云 刘诚

相关术语

汇编代码验证 软件安全 指针逻辑 携带证明的汇编程序 形式规范 Hoare逻辑 前（后）条件

标签云