近日,软件学院研究生陈韩悦、苏宇、米钧日在张苗苗研究员和西南大学刘志明教授指导下完成的论文“Learning Assumptions for Compositional Verification of Timed Automata”被2023 International Conference on Computer Aided Verification(CAV 2023)录用。
该论文针对实时系统验证过程中的状态空间爆炸问题,提出了一个基于学习的组合验证框架。在该框架中,作者设计一种模型转换算法以构建时钟重置信息和系统行为的双射,解决了学习过程复杂度过高问题;并设计启发式智慧老师以及两种学习加速策略。该框架展现出良好的实验效果,该研究工作为后续进一步研究实时系统的组合验证方法奠定了基础,具有较高的学术和应用价值。
CAV会议是世界公认的计算机软件理论领域顶级国际性学术会议,是中国计算机学会推荐的A类会议。会议于2023年7月17日-7月22日在法国巴黎召开,2021级直博生陈韩悦随张苗苗老师参会并作20分钟口头报告。
特此向张苗苗老师和陈韩悦、苏宇以及米钧日同学表示祝贺,也希望我院师生继续奋发图强,取得更卓越的科研成绩!
(软件工程理论与平台教研室供稿)