冯登国 黄谷 周祖德 傅建明 郭伟 李广元 汪洋 周立 沈浩 丁一强 梅宏 叶新铭 李乃斌 欧毓毅 陈湘萍 周志远 李伟琴 唐稚松 华庆一 艾武 林梦香 王振宇 孙艳春 郝松侠 尹剑飞 缪力 冯玉琳 朱军 谢经明 闵应骅

形式化方法 二叉判定图 EAP-TLS TCP连接管理 Spin UML 产生式系统 不动点 时序逻辑 有限状态机 迁移提取 程序模型检查 协议验证 性质验证 行为模型 认证协议 SPIN 组合推理 ACTL 自动机理论 重写逻辑 Statechart 形式分析 模型抽取 校验 Statechart山脉算法 分布式控制系统 线性时态逻辑 LOTOS 形式化验证

形式化方法