A Data Driven Approach for Algebraic Loop Invariants
Abstract elided by the publisher.
Related papers
- Data-Driven Invariant Learning for Probabilistic Programs CAV 2022
- Data-driven precondition inference with learned features PLDI 2016
- Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) VMCAI 2021
- Reasoning Algebraically About P-Solvable Loops TACAS 2008
- Simple Linear Loops: Algebraic Invariants and Applications POPL 2025
- A data-driven CHC solver PLDI 2018