魏仰苏 李宣东 陈靖 郑国梁 张兰玲 舒挺 郭莉 徐宝文 庄雷 方宇炜 张卫丰 赵建华 白硕 张松年 陈铭松 杜娟 韩曾晋 刘道斌 段振华 孟兆航 张海宾

面向对象程序 模型检测 可阻断性分析 时间自动机 区段赋时弧有色Petri网 惟一输入输出序列 验证 后继 安全协议 有限状态机 实时 时间界估计 协议 状态空间爆炸 无用对象 控制流测试 Petri网 矩形混合系统 非线性混合系统 一致性测试 混合系统 时间符号迁移图 实时系统