郭承霞 唐胜群 黄万艮 曾红卫 应时 陶莉 陈松乔 周顺 康立山 曹奇英 朱春艳 缪淮扣

验证 消息 状态爆炸 安全检测 等价关系 构件库 反例引导的抽象精化 模型检验 构件消息自动机 构件演化 构件 可控性 信息流 普适计算 构件封装