个人信息Personal Information

学历：博士研究生毕业

学位：工学博士学位

学科：计算数学. 应用数学. 运筹学与控制论

所在单位：数学学院

同专业硕导

报考该导师

研究方向

当前位置: 中文主页 >> 研究方向

形式化验证

形式化验证是一种利用数学和计算机科学方法对硬件或软件系统进行严格证明的过程。

形式化验证可以帮助验证系统的正确性、可靠性和安全性，广泛应用于计算机硬件、软件系统、通信协议等领域。