周志远 张大方 闵应骅 刘震 蒋曹清 Martin AN 黄谷 王鹏飞 王大伟 金秀 郭伟 Wahab Ismail 张志军

逻辑验证 UML Statechart 成员依赖图（MDG） PROMELA SPIN 认证协议 反射 WEP协议 类防火墙 Statechart山脉算法 迁移提取 互斥 软件测试 同步敏感 ANSI-C 并发程序 模型检查 形式化方法 协议验证 商业软件组件 协议漏洞 过程间并发程序分析 成员防火墙 有限状态机 协议分析 上下文敏感 不可判定问题 延迟绑定 类型发现 状态搜索

湖南长沙 湖南大学软件学院 湖南大学计算机与通信学院 中国科学院计算技术研究所 长沙民政职业技术学院