sk Skill · ArabelaTso
model-guided-code-repair
Automatically repair code violations of temporal properties using model-checking counterexamples as guidance. Use when working with formal verification results, temporal logic property violations (LTL, CTL), model checking counterexamples, or when asked to repair property violations, fix counterexamples, repair temporal properties, fix model checking violations, or repair code based on counterexamples. Applicable to…
Open on skills.sh ↗read 2026-09-16
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 0
Python
- Host repository
- ArabelaTso/Skills-4-SE
- Host stars
- 251
- Host language
- Python