Static Analysis

DOI10.1007/B99688MaRDI QIDQ5466569zbMATH OpenOpenAlexFDO

Authors Robert Clarisó, Jordi Cortadella

Publication date 24 August 2005

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

Full work available at URL https://doi.org/10.1007/b99688

zbMATH Keywords

abstract interpretationconvex polyhedranumerical abstract domainsrelational abstract domains

Mathematics Subject Classification ID

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

Recommendations

• The octahedron abstract domain
• The octagon abstract domain
• scientific article; zbMATH DE number 1738295
• scientific article; zbMATH DE number 1948392
• Incrementally closing octagons

Cited in

(26)

• Timed verification of the generic architecture of a memory circuit using parametric timed automata
• Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
• Sparsity preserving algorithms for octagons
• Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016
• Exact join detection for convex polyhedra and other numerical abstractions
• The octagon abstract domain for continuous constraints
• Program verification with interacting analysis plugins
• Relational abstract domain of weighted hexagons
• Donut domains: efficient non-convex domains for abstract interpretation
• Geometric construction of basis for octahedron: Modification of Wachspress method
• Modularly combining numeric abstract domains with points-to analysis, and a scalable static numeric analyzer for Java
• Static contract checking with abstract interpretation
• Grids: A Domain for Analyzing the Distribution of Numerical Values
• scientific article; zbMATH DE number 1948392 (Why is no real title available?)
• An inverse method for parametric timed automata
• The abstract domain of parallelotopes
• From invariant checking to invariant inference using randomized search
• Tools and Algorithms for the Construction and Analysis of Systems
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• On the Monniaux problem in abstract interpretation
• The two variable per inequality abstract domain
• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
• Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
• The octagon abstract domain
• The octahedron abstract domain
• Efficient SAT-based bounded model checking for software verification

This page was built for publication: Static Analysis

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