电脑体验，效果更佳

性质验证图谱-计算机领域：

研究人员

唐稚松 李广元

相关术语

反应系统 系统描述语言 时间自动机 线性时序逻辑 模型检查 可判定性 公平转换系统 时序逻辑

标签云