朱建文 齐欢 王蓓 吴峥涛 罗铁庚 王纯 范轶平 廖建新 龚正虎 吴智铭 边计年 陈火旺 朱晓民 洪先龙 贝劲松 董云耀 齐治昌 薛宏熙

状态 概率规范 监控器 有限状态机 设计模式 有向图 LTS 形式验证 面向对象 接口 动态控制器 性能模型 PLA 顺序状态逻辑 ACE VHDL 踪迹等价 时态逻辑 测试生成 ELOTOS 同步时序电路 模型判别器 触发事件 形式语义 算法 单件模式 Verilog