AI系统的运行时验证：从时序逻辑规约到生产环境实时违规检测 构建AI系统的运行时验证框架——使用时序逻辑(LTL)形式化Agent行为规范，通过异步流处理引擎在生产环境实时检测时序违规，覆盖规约语言设计、流处理监控器架构、滑动窗口优化、与OpenTelemetry的集成、以及MCP协议服务器的实战案例。 编程与软件开发 2026年10月03日 0 点赞 0 评论 27 浏览
神经网络的形式化验证：从抽象解释到SMT驱动的鲁棒性证明 深度解析神经网络形式化验证的技术体系：从区间抽象解释到Zonotope抽象域的精度演进，从SMT编码到Marabou专用求解器的精确判定，再到验证感知训练如何让网络天生可验证。 信息技术 2026年10月07日 0 点赞 0 评论 1 浏览
