王猛 - 河北大学 - 网络空间安全与计算机学院

个人简介

2012年于西安电子科技大学毕业，并获工学学士学位。同年获免试直接攻读西安电子科技大学博士研究生资格，在导师段振华教授的指导下于2019年6月获得博士学位。

研究领域

时序逻辑、模型检测、运行时验证、高可信软件

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

[1] Meng Wang, Zhenhua Duan, Cong Tian: Simulation and verification of the virtual memory management system with MSVL. CSCWD 2014: 360-365 [2] Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang: Verification of a real time scheduling protocol of safety-critical systems. CSCWD 2015: 286-291 [3] Meng Wang, Cong Tian, Zhenhua Duan, Full Regular Temporal Property Verification as Dynamic Program Execution. ICSE 2017 [4] Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui: Implementing MapReduce with MSVL. SOFL+MSVL 2017: 148-167 [5] Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Transactions on Reliability [6] Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du, Verifying a scheduling protocol of safety-critical systems. Journal of Combinatorial Optimization