电脑体验，效果更佳

线性时序逻辑图谱-计算机领域：

研究人员

唐卓椿 冯玉琳 帅建梅 赵旭东 孔德光 罗清胜 吴刚 李广元

相关术语

Büchi自动机 Petri网 静态分析 并发系统 性质验证 实时系统 规范语言 有界模型检查

标签云