• 简体   /   繁体
安全关键系统形式化验证技术进展与挑战-科技创新与应用2026年16期

安全关键系统形式化验证技术进展与挑战

作者:李思兴 肖安洪 曾辉 梁建 魏婷 字体:      

DOI:10.19981/j.CN23-1581/G3.2026.16.005

1,2 , 1,2 , 1 , 2 , 2

(1., 2.天核科技有限公司, )

中图分类号:TL48 文献标志码:A 文章编号:2095-2945(2026)16-0027-05

Abstract: With the increasing complexi(试读)...

科技创新与应用

2026年第16期