韦立 薛乐 胡成军 王驹 魏晨 李宣东 郑国梁 赵建华 陈火旺 许何 陈艳 刘真环 赵荣盛 王戟 陈宗基 廖沫

形式化 DDS并行模型 混合系统 邻域逻辑 模型检验 均值演算 混合自动机 等价离散事件模型 时间自动机 Petri网 全局调度算法 相继式演算 佩特里网 区间时序逻辑 分离逻辑 定理证明 形式化方法