Discovering invariants via simple component analysis

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

zbMATH Keywords

algorithmsnumerical examplesinterval arithmeticstatic analysisabstract interpretationsimple component analysis

Mathematics Subject Classification ID

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

• Apron
• R
• PPL
• DART
• Pex
• Lackwit
• Interproc
• InvGen
• ASTREE
• STP

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