Static Analysis in Disjunctive Numerical Domains

By Sriram Sankaranarayanan, Franjo Ivancic, I. Shlyakhter, Aarti Gupta. 2006

101 citations recorded by the source corpus.

Subfields: Computational Mechanics, Computational Theory and Mathematics

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Mechanics

1. Wei-Ngan Chin
2. Corneliu Popeea

In Computational Theory and Mathematics

1. Timon Gehr
2. Wei-Ngan Chin
3. Martin T. Vechev
4. Corneliu Popeea
5. Swarat Chaudhuri

Citations in the corpus

• AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation (2018, methodology): “We also implemented bounded powerset domains (disjunctive abstractions [33], [36]), which can be instantiated with any of the above abstract domains.”
• Inferring Disjunctive Postconditions (2006, methodology): “While modular analysis may expose more disjuncts (because no information is assumed about the initial state) and benefits more from our approach, disjunctive analysis has been shown to be also useful for global static analyses [13, 24].”