Non-disjunctive Numerical Domain for Array Predicate Abstraction
Abstract elided by the publisher.
Related papers
- Static Analysis in Disjunctive Numerical Domains SAS 2006
- Volume-Based Merge Heuristics for Disjunctive Numeric Domains SAS 2018
- Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution) TACAS 2023
- A framework for numeric analysis of array operations POPL 2005
- Modular Abstractions of Reactive Nodes Using Disjunctive Invariants APLAS 2011
- A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification CAV 2011
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Semantic-directed clumping of disjunctive abstract states POPL 2017