Discovering invariants via simple component analysis

This publication has 14 references indexed in Scilit:

• Orthogonal simple component analysis: A new, exploratory approach
  The Annals of Applied Statistics, 2011
• Relational Abstract Domain of Weighted Hexagons
  Electronic Notes in Theoretical Computer Science, 2010
• Apron: A Library of Numerical Abstract Domains for Static Analysis
  2009
• InvGen: An Efficient Invariant Generator
  Lecture Notes in Computer Science, 2009
• The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
  Science of Computer Programming, 2008
• Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
  2004
• Interval arithmetic
  Journal of the ACM, 2001
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Affine relationships among variables of a program
  Acta Informatica, 1976