Abstract Fixpoint Computations with Numerical Acceleration Methods

DOI10.1016/j.entcs.2010.09.004zbMath1342.68071OpenAlexW2165887124WikidataQ113318352 ScholiaQ113318352MaRDI QIDQ2814099

Alexandre Chapoutot, Yassamine Seladji, Olivier Bouissou

Publication date: 17 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.09.004

zbMATH Keywords

acceleration of convergenceabstract numerical domainswidening operator

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Acceleration of convergence in numerical analysis (65B99)

Related Items

Acceleration of the abstract fixpoint computation in numerical program analysis

Uses Software

• Aspic
• ASTREE
• FAST

Cites Work

• Unnamed Item
• Unnamed Item
• Extrapolation methods theory and practice
• Extrapolation methods for vector sequences
• Generalizations of aitken's process for accelerating the convergence of sequences
• Generating all polynomial invariants in simple loops
• A lattice-theoretical fixpoint theorem and its applications
• The Epsilon Algorithm and Operational Formulas of Numerical Analysis
• Accelerated Data-Flow Analysis
• Guided Static Analysis
• Combining Widening and Acceleration in Linear Relation Analysis
• Abstract Interpretation Frameworks
• Widening Polyhedra with Landmarks
• Verification, Model Checking, and Abstract Interpretation