Text this: 基于大模型的形式化验证系统架构设计.