Discovering invariants via simple component analysis
DOI10.1016/J.JSC.2011.12.052zbMATH Open1246.65077OpenAlexW2018756497MaRDI QIDQ435979FDOQ435979
Gianluca Amato, Francesca Scozzari, Maurizio Parton
Publication date: 13 July 2012
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.052
algorithmsnumerical examplesabstract interpretationinterval arithmeticstatic analysissimple component analysis
Factor analysis and principal components; correspondence analysis (62H25) General methods in interval analysis (65G40)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The octagon abstract domain
- Affine relationships among variables of a program
- Relational inductive shape analysis
- Program Analysis Using Symbolic Ranges
- Abstract interpretation and application to logic programs
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
- Simple Component Analysis
- Orthogonal simple component analysis: a new, exploratory approach
- Interval arithmetic
- Relational abstract domain of weighted hexagons
- Discovering affine equalities using random interpretation
- Two Variables per Linear Inequality as an Abstract Domain
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
- Static analysis of arithmetical congruences
- Deriving Numerical Abstract Domains via Principal Component Analysis
- Precise interprocedural analysis using random interpretation
- Programming Languages and Systems
- Programming Languages and Systems
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
Cited In (7)
- Unsupervised discovery of invariances
- From invariant checking to invariant inference using randomized search
- The Abstract Domain of Parallelotopes
- Optimal multibinding unification for sharing and linearity analysis
- Experimental evaluation of numerical domains for inferring ranges
- Finding Relevant Templates via the Principal Component Analysis
- Descending chains and narrowing on template abstract domains
Uses Software
This page was built for publication: Discovering invariants via simple component analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435979)
