彭云全 刘春明 徐雨波 唐稚松 晏荣杰 魏绪凯

系统描述语言 模型检查 公平转换系统 实时系统 程序验证 时间自动机 时序逻辑 规范语言

中国科学院研究生院 中国科学院软件研究所 贵州大学计算机理论研究所 中国科学院软件研究所计算机科学重点实验室 中国科学院软件研究所计算机科学开放研究实...