model-guided-code-repair - 使用模型检查自动修复代码使用模型检查反例自动修复时序属性违规的代码标签更新于: 2026-03-22形式化验证并发系统代码修复时序逻辑模型检查状态机能力典型输入典型输出该技能可以做什么读取程序源代码分析时序属性追踪反例识别根本原因提出修复策略生成修复代码验证修复记录修复执行模型检查器运行测试输入程序源代码违规的时序属性反例追踪输出修复后的源代码变更文档根本原因分析修复策略行为保持说明验证结果要求模型检查器支持测试框架来源规范: SKILL.md
