概念Runtime Verification
运行时验证
形式化方法的轻量应用形式，在系统运行时动态检查每个动作是否满足预定义的安全规范，无需预先穷举所有状态，适合生产环境部署
时间轴 (近 90 天)
10月15日
运行时验证能捕捉静态分析无法发现的问题，如数据库事务死锁、消息队列重复消费、外部 API 超时后的状态不一致、并发下的竞态条件等。
待验证50%
9月15日
运行时验证在系统运行时动态检查每个动作是否满足预定义的安全规范，计算开销相对可控，更适合生产环境部署
待验证50%
9月15日
在智能体每一步决策前进行形式化检查会带来额外的计算和延迟成本
待验证50%
9月12日
空指针在特定数据下才触发、异步竞态条件、环境依赖导致的崩溃等问题往往只有在真正执行时才会暴露
待验证50%