电脑体验，效果更佳

形式化验证图谱-计算机领域：

研究人员

李舟军 张大方 桑田 周宏斌 戴葵 沈胜宇 徐丙凤 叶新铭

相关术语

可信信道 角色冒充 线形时序逻辑 可满足问题 自动验证 时间模型 指针逻辑 时态逻辑

上位概念

安全协议

标签云