基于模型的系统验证：理论框架、关键技术及未来展望

孙波, 任羿, 王偲霖, 刘奇, 李志栋

Model-based System Verification: Theoretical Framework, Key Technologies, and Future Prospects

Sun Bo, Ren Yi, Wang Silin, Liu Qi, Li Zhidong

系统仿真学报 . 2026, (4): 829 -854 . DOI: 10.16182/j.issn1004731x.joss.25-0797