Automatic Abstraction for Intervals Using Boolean Formulae
No abstract available.
Related papers
- A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis TOPLAS 2019
- Transforming Quantified Boolean Formulas Using Biclique Covers TACAS 2023
- Moving Definition Variables in Quantified Boolean Formulas TACAS 2022
- ZDD Boolean Synthesis TACAS 2022
- ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution) TACAS 2024
- Minimal Sets over Monotone Predicates in Boolean Formulae CAV 2013
- Deciding Boolean Separation Logic via Small Models TACAS 2024
- Clausal Proofs for Pseudo-Boolean Reasoning TACAS 2022