Discovering invariants via simple component analysis
From MaRDI portal
Publication:435979
DOI10.1016/j.jsc.2011.12.052zbMath1246.65077OpenAlexW2018756497MaRDI QIDQ435979
Francesca Scozzari, Maurizio Parton, Gianluca Amato
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 examplesinterval arithmeticstatic analysisabstract interpretationsimple component analysis
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Experimental evaluation of numerical domains for inferring ranges ⋮ Descending chains and narrowing on template abstract domains ⋮ Finding Relevant Templates via the Principal Component Analysis ⋮ From invariant checking to invariant inference using randomized search ⋮ Optimal multibinding unification for sharing and linearity analysis ⋮ The Abstract Domain of Parallelotopes
Uses Software
Cites Work
- Orthogonal simple component analysis: a new, exploratory approach
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
- The octagon abstract domain
- Affine relationships among variables of a program
- Relational Abstract Domain of Weighted Hexagons
- Discovering affine equalities using random interpretation
- Two Variables per Linear Inequality as an Abstract Domain
- Relational inductive shape analysis
- Interval arithmetic
- Simple Component Analysis
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
- Program Analysis Using Symbolic Ranges
- Abstract interpretation and application to logic programs
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Discovering invariants via simple component analysis