A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
Abstract elided by the publisher.
Related papers
- Disjunctive normal forms and local exceptions ICFP 2003
- Non-disjunctive Numerical Domain for Array Predicate Abstraction ESOP 2008
- Type Analysis of Prolog Using Type Graphs PLDI 1994
- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution) TACAS 2020
- Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic PLDI 2023
- Bonsai: Compiling Queries to Pruned Tree Traversals PLDI 2026
- Automated RTL Verification Based on Predicate Calculus CAV 1990
- Modular Abstractions of Reactive Nodes Using Disjunctive Invariants APLAS 2011