Page 274 - 《软件学报》2021年第6期

1848 Journal of Software 软件学报 Vol.32, No.6, June 2021

[13] 柳毅,麻志毅,何啸,邵维忠.一种从 UML 模型到可靠性分析模型的转换方法.软件学报,2010,21(2):287−304. http://www.jos.org.
cn/1000-9825/3792.htm [doi: 10.3724/SP.J.1001.2010.03792]
[14] 杨志斌,胡凯,赵永望,马殿富,Bodeveix JP.基于时间抽象状态机的 AADL 模型验证.软件学报,2015,26(2):202−222. http://www.
jos.org.cn/1000- 9825/4776.htm [doi: 10.13328/j.cnki.jos.004776]
[20] 郭丹青,吕继东,王淑灵,唐涛,詹乃军,周达天.中国高速铁路列控系统的形式化分析与验证.中国科学:信息科学,2015,45(3):
417−438.

陆芝浩(1995－),男,硕士,CCF 学生会员, 关永 (1966－ ), 男 ,博士 ,教授 , 博 士生导
主要研究领域为形式化验证. 师,CCF 专业会员,主要研究领域为形式化
验证,高可靠嵌入式系统.

王瑞 (1981 － ), 女 , 博士 , 教授 , 博士生导 施智平(1974－),男,博士,教授,博士生导
师,CCF 专业会员,主要研究领域为形式化 师,CCF 高级会员,主要研究领域为形式化
方法,软件安全验证. 方法,人工智能.

孔辉(1978－),男,博士,CCF 专业会员,主
要研究领域为形式化方法,混杂系统验证.