scientific article; zbMATH DE number 1948392

MaRDI QIDQ4411954zbMATH OpenFDO

Authors Antoine Miné

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770117.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1738295
• Static Analysis
• Relational abstract domain of weighted hexagons
• Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
• A relational shape abstract domain

Cited in

(19)

• Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016
• A relational shape abstract domain
• Reachability analysis via orthogonal sets of patterns
• Proving the absence of unbounded polymers in rule-based models
• A new abstraction framework for affine transformers
• An abstract domain of uninterpreted functions
• Relational abstract domain of weighted hexagons
• Sound bit-precise numerical domains
• Static contract checking with abstract interpretation
• Grids: A Domain for Analyzing the Distribution of Numerical Values
• Logahedra: a new weakly relational domain
• \textsf{TreeKs}: a functor to make numerical abstract domains scalable
• Tools and Algorithms for the Construction and Analysis of Systems
• An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
• Static Analysis
• Static Analysis
• An abstract domain for trees with numeric relations
• Lifting numeric relational domains to algebraic data types
• Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness

Describes a project that uses

Uses Software

• Octagon

This page was built for publication:

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