YR-FMAC形式化方法青年学者论坛
FMAC
形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已延生成为计算思维的重要载体。
第五届全国形式化方法与应用会议青年学者论坛（YR-FMAC 2020），为国内从事形式化方法及其相关领域（例如程序语言、软件工程等）研究的青年学者和优秀博士生提供一个分享和交流其最新成果的平台，汇集该领域的一线青年学者共同探讨国内外形式化方法的发展趋势和潮流。欢迎形式化方法与理论计算机科学、软件工程、系统软件、嵌入式系统、网络与信息安全、人工智能等学科的学者前来参加。
日程安排：
时 间：2020年11月21日（星期六）11:30-12:30
2020年11月21日（星期六）14:00-17:00
地 点：重庆富力假日酒店 宴会厅1
论坛议程：
时 间 |
主 题 |
讲 者 |
11:30-11:50 |
移动应用软件的自动化功能测试 |
苏亭，华东师范大学 |
11:50-12:10 |
Synthesizing Barrier Certificates Using Neural Networks |
赵恒军，西南大学 |
12:10-12:30 |
Verified interactive computation of definite integrals |
詹博华，中科院软件所 |
12:30-14:00 |
午 餐 |
|
14:00-14:20 |
大规模复杂系统验证平台MSV |
于斌，西安电子科技大学 |
14:20-14:40 |
安全攸关信息物理融合系统形式验证 |
薛白，中科院软件所 |
14:40-15:00 |
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type |
胡登航，中科院软件所 |
15:00-15:20 |
茶 歇 |
|
15:20-15:40 |
Safety Falsification of Nonlinear and Nondeterministic Hybrid Systems |
王佳宛，南京大学 |
15:40-16:00 |
Proving almost-sure termination by omega-regular decomposition |
陈建辉，清华大学 |
16:00-16:20 |
Trace Refinement-based Verification for Uninterpreted Programs |
洪伟疆，国防科技大学 |
16:20-16:40 |
Towards a formally verified EVM in production environment |
张喜悦，北京大学 |