Solving Invariant Generation for Unsolvable Loops
No abstract available.
Related papers
- Further Tackling Post Correspondence Problem and Proof Generation CPP 2025
- Non-linear loop invariant generation using Gröbner bases POPL 2004
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation CAV 2015
- Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020
- Affine Loop Invariant Generation via Matrix Algebra CAV 2022
- Non-linear reasoning for invariant synthesis POPL 2018
- Guiding LLM-Based Loop Invariant Synthesis via Feedback on Local Reasoning Errors TOPLAS 2026
- Recursion synthesis with unrealizability witnesses PLDI 2022