A new numerical abstract domain based on difference-bound matrices
From MaRDI portal
Recommendations
Cited in
(59)- Exploiting sparsity in difference-bound matrices
- Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs
- A parametric abstract domain for lattice-valued regular expressions
- Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016
- Incremental closure for systems of two variables per inequality
- Experimental evaluation of numerical domains for inferring ranges
- On the efficiency of convex polyhedra
- Static analysis of ReLU neural networks with tropical polyhedra
- Numerical invariants through convex relaxation and max-strategy iteration
- Exact join detection for convex polyhedra and other numerical abstractions
- Template polyhedra and bilinear optimization
- An abstract domain to infer symbolic ranges over nonnegative parameters
- Speeding up the constraint-based method in difference logic
- A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling
- Donut domains: efficient non-convex domains for abstract interpretation
- Sound bit-precise numerical domains
- Generalizing the template polyhedral domain
- Improving strategies via SMT solving
- Cooperative query answering by abstract interpretation
- Two variables per linear inequality as an abstract domain
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
- Grids: A Domain for Analyzing the Distribution of Numerical Values
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
- An abstract domain to discover interval linear equalities
- Discovering invariants via simple component analysis
- scientific article; zbMATH DE number 1948392 (Why is no real title available?)
- Reachability analysis for timed automata using max-plus algebra
- Numerical power analysis
- Deriving numerical abstract domains via principal component analysis
- Compact Difference Bound Matrices
- The abstract domain of parallelotopes
- \textsf{TreeKs}: a functor to make numerical abstract domains scalable
- An accurate join for zonotopes, preserving affine input/output relations
- Tools and Algorithms for the Construction and Analysis of Systems
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Non-disjunctive Numerical Domain for Array Predicate Abstraction
- Acceleration in Convex Data-Flow Analysis
- Static Analysis
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- A zonotopic framework for functional abstractions
- Invertible linear transforms of numerical abstract domains
- An abstract domain for trees with numeric relations
- Clustered relational thread-modular abstract interpretation with local traces
- A change-based heuristic for static analysis with policy iteration
- Dissecting widening: separating termination from information
- Magic-sets for localised analysis of Java bytecode
- The two variable per inequality abstract domain
- Unit refutability of Horn constraint systems -- certification and parallel complexity
- SMT-based and fixed-point approaches for state estimation in max-plus linear systems
- Canonical forms and widening for two variables per inequality systems
- On the maxmin- eigenspaces and their over-approximation by zones
- Scalable polyhedral verification of recurrent neural networks
- 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
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
This page was built for publication: A new numerical abstract domain based on difference-bound matrices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4529777)
