InvGen: An Efficient Invariant Generator
No abstract available.
DOI 10.1007/978-3-642-02658-4_48
Related papers
- Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis SAS 2016
- Bounded exhaustive test input generation from hybrid invariants OOPSLA 2014
- Affine Loop Invariant Generation via Matrix Algebra CAV 2022
- A language and framework for invariant-driven transformations GPCE 2009
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes CAV 2022
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- Polynomial Invariant Generation for Floating-Point Programs CAV 2026
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis SAS 2020