Page 322 - 《软件学报》2026年第5期

唐瑞泽 等: 分布式系统模型检验技术研究进展 2201

864–900. [doi: 10.3321/j.issn:1006-9275.2008.06.005]
[39] 吕建, 马晓星, 陶先平, 黄宇, 余萍, 许畅. 面向网构软件的环境显式化技术. 中国科学: 信息科学, 2013, 43(1): 1–23. [doi: 10.1360/
112012-527]
[119] 谷晓松, 魏恒峰, 乔磊, 黄宇. 支持乱序执行的 Raft 协议. 软件学报, 2021, 32(6): 1748–1778. http://www.jos.org.cn/1000-9825/6248.
htm [doi: 10.13328/j.cnki.jos.006248]
[120] 易星辰, 魏恒峰, 黄宇, 乔磊, 吕建. PaxosStore 中共识协议 TPaxos 的推导、规约与精化. 软件学报, 2020, 31(8): 2336–2361. http://
www.jos.org.cn/1000-9825/5964.htm [doi: 10.13328/j.cnki.jos.005964]

作者简介
唐瑞泽, 博士, 主要研究领域为分布式系统, 形式化方法.
黄宇, 博士, 教授, 博士生导师, CCF 专业会员, 主要研究领域为分布式系统, 系统软件, 软件形式化方法.
欧阳凌志, 博士, 主要研究领域为分布式共识系统, 形式化方法.
程潜, 博士生, CCF 学生会员, 主要研究领域为分布式系统, 大语言模型, 形式化方法.
张宇奇, 博士, 主要研究领域为分布式算法, 分布式系统, 形式化方法.
马晓星, 博士, 教授, 博士生导师, CCF 高级会员, 主要研究领域为软件自适应技术, 智能软件质量保障技术.