model-guided-code-repair - Automatic Code Repair Using Model-Checking
Automatically repair code violations of temporal properties using model-checking counterexamples
Tags
Updated: 2026-03-22Capabilities
Typical Inputs
Typical Outputs
What this skill does
- read program source code
- analyze temporal property
- trace counterexample
- identify root cause
- propose repair strategy
- generate repaired code
- validate repair
- document repair
- execute model checker
- run tests
Inputs
- program source code
- violated temporal property
- counterexample trace
Outputs
- repaired source code
- change documentation
- root cause analysis
- repair strategy
- behavior preservation explanation
- validation results
Requirements
- model checker support
- test framework