电脑体验，效果更佳

状态爆炸图谱-自然科学领域：

研究人员

董荣胜 王平 王彬 王飞明 胡元闯 沈云付 林争辉 陈牧之

相关术语

Kripke结构 形式验证 基于事务的形式验证 功能验证模型 命题μ演算 有穷系统 模型检测 时态逻辑

标签云