吴康恒 张玲 张君华 边计年 林惠民 李祥 黄志球 梅元媛 陈靖 韩继红 董荣胜 梅宏 刘磊 张轶 陆鑫达 金秀 蒋屹新 姜云飞 宋震 刘春明 文中华 徐雨波 万良 林瀚 尹中旭 刘湘辉 庄雷 许江 肖国镇 晏荣杰

SPIN 程序分析技术 公平性 符号状态交集 带赋值符号迁移图 SAT方法 形式化验证 蚁群智能 服务验证 安全漏洞 不动点 测试用例化简 可达性分析 非单调性 TLA SMV Tableau 线性时序逻辑性质 OBDD ANSI-C 逻辑 NP∩co-NP问题 μ-演算 SPIN 状态分层 非否认性 状态搜索 复杂数据结构 剪枝 证明

SPIN