An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs
No abstract available.
Related papers
- Learning the boundary of inductive invariants POPL 2021
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes CAV 2022
- Inductive invariant generation via abductive inference OOPSLA 2013
- ICE-Based Refinement Type Discovery for Higher-Order Functional Programs TACAS 2018
- Verification Modulo Tested Library Contracts PLDI 2026
- ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution) TACAS 2019
- OutsideIn(X) Modular type inference with local assumptions JFP 2011
- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants SAS 2016