The Gauge Domain: Scalable Analysis of Linear Inequality Invariants
Abstract elided by the publisher.
Related papers
- An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants SAS 2024
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities VMCAI 2009
- Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020
- Automatic Discovery of Linear Restraints Among Variables of a Program POPL 1978
- Abstract acceleration of general linear loops POPL 2014
- Program Analysis with Local Policy Iteration VMCAI 2016
- Scalable linear invariant generation with Farkas' lemma OOPSLA 2022
- Polynomial invariant generation for non-deterministic recursive programs PLDI 2020