电脑体验，效果更佳

程序验证图谱-自然科学领域：

研究人员

李骏 李轶 张广泉 冯勇 王彩芬

相关术语

命题线性时态逻辑 Hoare逻辑 终止性 并发系统 非线性程序 程序 循环不变式 模型检验算法

标签云