A zonotopic framework for functional abstractions

DOI10.1007/s10703-015-0238-zzbMath1331.68050arXiv0910.1763OpenAlexW1489112658MaRDI QIDQ5962973

Eric Goubault, Sylvie Putot

Publication date: 25 February 2016

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0910.1763

zbMATH Keywords

verificationstatic analysiszonotopesabstract interpretationaffine arithmetic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering ⋮ A generalization of \(p\)-boxes to affine arithmetic ⋮ Towards an automatic uncertainty compiler ⋮ Strong regularity of parametric interval matrices ⋮ An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations ⋮ A zonotopic framework for functional abstractions ⋮ Static Analysis of Finite Precision Computations

Uses Software

• Apron
• PPL
• NewPolka

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalization of \(p\)-boxes to affine arithmetic
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Guaranteed state estimation by zonotopes
• Ellipsoidal calculus for estimation and control
• Optimal harvesting of a two species competition model with imprecise biological parameters
• Affine arithmetic: concepts and applications
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• Inner approximated reachability analysis
• Static Analysis of Finite Precision Computations
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
• Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
• Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
• Static Analysis of Numerical Algorithms
• Reachability Analysis of Hybrid Systems Using Support Functions
• A Case Study in Abstract Interpretation Based Program Transformation
• An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations
• Abstract Interpretation Frameworks
• Programming Languages and Systems
• Hybrid Systems: Computation and Control
• Computer Aided Verification
• Computer Aided Verification
• Static Analysis by Policy Iteration on Relational Domains
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• A zonotopic framework for functional abstractions

This page was built for publication: A zonotopic framework for functional abstractions