Disjunctive Interval Analysis
No abstract available.
Related papers
- A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis TOPLAS 2019
- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution) TACAS 2020
- Verifying Reliability Properties Using the Hyperball Abstract Domain TOPLAS 2018
- Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis VMCAI 2019
- Static Analysis in Disjunctive Numerical Domains SAS 2006
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation VMCAI 2023