Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools

DOI10.1007/978-3-642-35873-9_11MaRDI QIDQ2926643zbMATHOpenAlexFDO

Authors Yassamine Seladji, Olivier Bouissou

Publication date 3 November 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35873-9_11

Mathematics Subject Classification ID

Computational aspects related to convexity (52B55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Finite element pointwise results on convex polyhedral domains
• Numerical analysis of the efficiency of an algorithm for approximating convex bodies by polyhedra
• Computation of generalized convex approximations of planar geometric objects
• Numerical integration of homogeneous functions on convex and nonconvex polygons and polyhedra
• Analysis of a new method for approximation of convex compact bodies by polyhedra
• Approximate convex decomposition of polyhedra and its applications
• scientific article; zbMATH DE number 1182566
• Calculus of convex polyhedra and polyhedral convex functions by utilizing a multiple objective linear programming solver
• Polyhedral and algebraic methods in computational geometry

Cited in

(11)

• Widening Polyhedra with Landmarks
• Memory-efficient fixpoint computation
• Abstract interpretation meets convex optimization
• Acceleration of the abstract fixpoint computation in numerical program analysis
• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• scientific article; zbMATH DE number 2090855 (Why is no real title available?)
• Exact join detection for convex polyhedra and other numerical abstractions
• Acceleration in Convex Data-Flow Analysis
• ROBUST SET OPERATIONS ON POLYHEDRAL SOLIDS: A FIXED PRECISION APPROACH
• Property directed polyhedral abstraction
• Abstract fixpoint computations with numerical acceleration methods

Describes a project that uses

Uses Software

• SpaceEx

This page was built for publication: Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2926643)