基于大模型的形式化验证系统架构设计. - 陈红学; 马卫红; 杨雅涵; 申翔宇 (Railway Signalling & Communication Engineering, 2026)