Dynamic interval analysis by abstract interpretation

DOI10.1007/978-3-030-87348-6_4MaRDI QIDQ6488338zbMATH OpenFDO

Authors Patrick Cousot

Publication date 13 April 2023

Full work available at URL https://doi.org/10.1007/978-3-030-87348-6_4

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Static analysis by abstract interpretation: a mathematical programming approach
• Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
• Static Analysis of Numerical Algorithms
• scientific article; zbMATH DE number 3854310
• Interval arithmetic: from principles to implementation

Cites work

• A Tabu Search Method for Interval Constraints
• A zonotopic framework for functional abstractions
• Abstracting induction by extrapolation and interpolation
• Calculational design of a regular model checker by abstract interpretation
• Constructive versions of Tarski's fixed point theorems
• scientific article; zbMATH DE number 3843129 (Why is no real title available?)
• scientific article; zbMATH DE number 3679159 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• Inner and outer approximating flowpipes for delay differential equations
• Inner and outer reachability for the verification of control systems
• Introduction to Interval Analysis
• Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
• Runtime verification past experiences and future projections
• Static Analysis of Numerical Algorithms
• The design of the Boost interval arithmetic library

Cited in

(1)

• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Dynamic interval analysis by abstract interpretation

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