scientific article; zbMATH DE number 1948392

zbMath1015.68040MaRDI QIDQ4411954

Antoine Miné

Publication date: 13 July 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

Reachability analysis via orthogonal sets of patterns ⋮ Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness ⋮ Sound Bit-Precise Numerical Domains ⋮ Proving the absence of unbounded polymers in rule-based models ⋮ Static Contract Checking with Abstract Interpretation ⋮ An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints ⋮ A new abstraction framework for affine transformers

Uses Software

• Octagon

This page was built for publication: