Discovering invariants via simple component analysis
type: Item
instance of: scholarly article
title: Discovering invariants via simple component analysis
zbMATH Open document ID: 1246.65077
author: Maurizio Parton
author: Francesca Scozzari
author: Gianluca Amato
published in: Journal of Symbolic Computation
publication date: 2012-07-13T00:00:00Z
Mathematics Subject Classification ID: 65G40
Mathematics Subject Classification ID: 65C60
Mathematics Subject Classification ID: 62H25
zbMATH DE Number: 6055237
zbMATH Keywords: static analysis
zbMATH Keywords: abstract interpretation
zbMATH Keywords: simple component analysis
zbMATH Keywords: interval arithmetic
zbMATH Keywords: numerical examples
zbMATH Keywords: algorithms
describes a project that uses: Interproc
describes a project that uses: PPL
describes a project that uses: Pex
describes a project that uses: Lackwit
describes a project that uses: InvGen
describes a project that uses: ASTREE
describes a project that uses: Apron
describes a project that uses: DART
describes a project that uses: STP
describes a project that uses: R
MaRDI profile type: Publication
full work available at URL: j.jsc.2011.12.052
OpenAlex ID: W2018756497
cites work: Deriving Numerical Abstract Domains via Principal Component Analysis
cites work: Orthogonal simple component analysis: a new, exploratory approach
cites work: Relational inductive shape analysis
cites work: Q2769578
cites work: Q4934630
cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
cites work: Abstract interpretation and application to logic programs
cites work: Q4778703
cites work: Programming Languages and Systems
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Relational abstract domain of weighted hexagons
cites work: Static analysis of arithmetical congruences
cites work: A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
cites work: Discovering affine equalities using random interpretation
cites work: Precise interprocedural analysis using random interpretation
cites work: Q3673885
cites work: Interval arithmetic
cites work: Affine relationships among variables of a program
cites work: Q5001955
cites work: Q4529777
cites work: The octagon abstract domain
cites work: Q3091591
cites work: Simple Component Analysis
cites work: Program Analysis Using Symbolic Ranges
cites work: Two Variables per Linear Inequality as an Abstract Domain
cites work: Q4418863
DOI: 10.1016/J.JSC.2011.12.052
description: scientific article; zbMATH DE number 6055237